Formal Methods in Software Engineering

An Overview of Java Semantics Implementation

Year2013
TypeTalk
StatusPublished
AuthorsDenis Bogdanas

Links

Abstract

The student short talk from POPL/PLMW 2013. The first part presents the current status of Java semantics, with some statistics. The second part focuses on control-intensive statements. Their complex semantics means that a separate homogenous stack for each group of related control-intensive statements is not possible. Consequently, an unified but heterogenous stack is required. This solution is illustrated based on an example program.

BibTeX

@Proceedings{PLMW2013, author = {Denis Bogdanas}, title = {An Overview of Java Semantics Implementation}, year = {2013}, url = {http://infoiasi.ro[plmw_short_talk]} }