| dc.contributor | | en-US |
| dc.creator | Feitosa, Samuel da Silva | |
| dc.creator | Ribeiro, Rodrigo Geraldo | |
| dc.creator | Du Bois, Andre Rauber | |
| dc.date | 2018-09-12 | |
| dc.date.accessioned | 2018-11-07T21:09:55Z | |
| dc.date.available | 2018-11-07T21:09:55Z | |
| dc.identifier | https://seer.ufrgs.br/rita/article/view/VOL25_NR3_62 | |
| dc.identifier | 10.22456/2175-2745.80912 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/2187583 | |
| dc.description | The objective of this paper is twofold: first, we discuss the state of art on Java-like semantics, focusing on those that provide formal specification using operational semantics (big-step or small-step), studying in detail the most cited projects and presenting some derivative works that extend the originals aggregating useful features. Also, we filter our research for those that provide some insights in type-safety proofs. Furthermore, we provide a comparison between the most used projects in order to show which functionalities are covered in such projects. Second, our effort is focused towards the research opportunities in this area, showing some important works that can be applied to the previously presented projects to study features of object-oriented languages, and pointing for some possibilities to explore in future researches. | en-US |
| dc.format | application/pdf | |
| dc.language | eng | |
| dc.publisher | Instituto de Informática - Universidade Federal do Rio Grande do Sul | en-US |
| dc.relation | https://seer.ufrgs.br/rita/article/view/VOL25_NR3_62/pdf | |
| dc.rights | Direitos autorais 2018 Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois | pt-BR |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/4.0 | pt-BR |
| dc.source | Revista de Informática Teórica e Aplicada; v. 25, n. 3 (2018); 62-74 | en-US |
| dc.source | Revista de Informática Teórica e Aplicada; v. 25, n. 3 (2018); 62-74 | pt-BR |
| dc.source | 21752745 | |
| dc.source | 01034308 | |
| dc.subject | Semantics of Programming Languages; Type Systems | en-US |
| dc.subject | Java Semantics; Operational Semantics; Type Systems; Type Safety | en-US |
| dc.title | Formal Semantics for Java-like Languages and Research Opportunities | en-US |
| dc.type | Artículos de revistas | |
| dc.type | Artículos de revistas | |
