Feitosa, Samuel da SilvaRibeiro, Rodrigo GeraldoBois, André Rauber Du2019-04-092019-04-092018FEITOSA, S. da. S.; RIBEIRO, R. G.; BOIS, A. R. D. Formal semantics for java-like languages and research opportunities. Revista de Informática Teórica e Aplicada: RITA, v. 25, p. 62, 2018. Disponível em: <https://seer.ufrgs.br/rita/article/view/VOL25_NR3_62>. Acesso em: 15 fev. 2019.21752745http://www.repositorio.ufop.br/handle/123456789/10974Currently, Java is one of the most used programming languages, being adopted in many large projects, where applications reach a level of complexity for which manual testing and human inspection are not enough to guarantee quality in software development. Because of that, there is a growing research field that concerns the formalization of small subsets of Java-like languages aimed to conduct studies that were impossible to achieve through informal approaches. In this context, the objective of this paper is twofold: the discussion of the state-of-the-art on Java-like semantics and the presentation of research opportunities in this area. For the first goal, we present a research about Java-like formal semantics, filtering those that provide some insights in type-safety proofs, choosing the four most cited projects to be presented in details. We also briefly present some related studies that extended the originals aggregating useful features. Additionally, we provide a comparison between the most cited projects in order to show which functionalities are covered by each one of them. As for the second goal, we discuss possible future studies that can be performed by using the presented formal semantics.en-USabertoJava semanticsOperational semanticsType systemsType safetySemântica do JavaArtigo publicado em periodicoThis work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. Fonte: o próprio artigo