A Calculus for Link-Time Compilation
Abstract elided by the publisher.
Related papers
- A Calculus for Compiling and Linking Classes ESOP 2000
- Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction ICFP 1996
- Type-Safe Linking and Modular Assembly Language POPL 1999
- Global register allocation at link time PLDI 1986
- Calibro: Compilation-Assisted Linking-Time Binary Code Outlining for Code Size Reduction in Android Applications CGO 2025
- Simple and Effective Link-Time Optimization of Modula-3 Programs PLDI 1995
- Type-Preserving Flat Closure Optimization OOPSLA 2025
- Link-time binary rewriting techniques for program compaction TOPLAS 2005