Formal Semantics for Java-like Languages and Research Opportunities

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. Formal Semantics for Java-like Languages and Research Opportunities. RITA, 25(3):62-74, 2018. [doi]

Abstract

Abstract is missing.