A Formal Framework for Java Separate Compilation
No abstract available.
Related papers
- Type-preserving compilation of Featherweight Java TOPLAS 2002
- What is Java Binary Compatibility? OOPSLA 1998
- Igloo: soundly linking compositional refinement and separation logic for distributed system verification OOPSLA 2020
- Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution) TACAS 2025
- Principal typings for Java-like languages POPL 2004
- Program Fragments, Linking, and Modularization POPL 1997
- Separate Compilation and Partial Linking: Modules for Datalog IR GPCE 2024
- A provenly correct translation of Fickle into Java TOPLAS 2007