An Overview of Java Semantics Implementation

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.