Feitosa S da S, Ribeiro RG, Du Bois AR. Formal Semantics for Java-like Languages and Research Opportunities. RITA [Internet]. 2018 Sep. 12 [cited 2025 Apr. 28];25(3):62-74. Available from: https://seer.ufrgs.br/index.php/rita/article/view/VOL25_NR3_62