Berlioz: Compiling Oz to Java Bytecode
No abstract available.
Related papers
- Compiling Standard ML to Java Bytecodes ICFP 1998
- Java Bytecode Normalization for Code Similarity Analysis ECOOP 2024
- Polymorphic bytecode: compositional compilation for Java-like languages POPL 2005
- A Type System for Java Bytecode Subroutines POPL 1998
- A Type System for Java Bytecode Subroutines TOPLAS 1999
- Type elaboration and subtype completion for Java bytecode TOPLAS 2001
- Java bytecode verification via static single assignment form TOPLAS 2008
- OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler JFP 2016