Precision in Practice: A Type-Preserving Java Compiler
Abstract elided by the publisher.
Related papers
- Type-preserving compilation for large-scale optimizing object-oriented compilers PLDI 2008
- Type-preserving compilation of Featherweight Java TOPLAS 2002
- A verifiable SSA program representation for aggressive compiler optimization POPL 2006
- Webs and Flow-Directed Well-Typedness Preserving Program Transformations PLDI 2025
- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code GPCE 2012
- Practical MHP Analysis for Java CC 2026
- A typed intermediate language for compiling multiple inheritance POPL 2007
- Extending Java for high-level Web service construction TOPLAS 2003