A Provably Correct Stackless Intermediate Representation for Java Bytecode
Abstract elided by the publisher.
Related papers
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- A Type System for Java Bytecode Subroutines POPL 1998
- A Type System for Java Bytecode Subroutines TOPLAS 1999
- Enhancing source-level programming tools with an awareness of transparent program transformations OOPSLA 2009
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- Compiling Standard ML to Java Bytecodes ICFP 1998
- Tail call elimination and data representation for functional languages on the Java virtual machine CC 2018
- A Type System for Object Initialization in the Java Bytecode Language OOPSLA 1998