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]

Authors

Samuel da Silva Feitosa

This author has not been identified. Look up 'Samuel da Silva Feitosa' in Google

Rodrigo Geraldo Ribeiro

This author has not been identified. Look up 'Rodrigo Geraldo Ribeiro' in Google

André Rauber Du Bois

This author has not been identified. Look up 'André Rauber Du Bois' in Google