Program Generation, Termination, and Binding-Time Analysis
No abstract available.
Related papers
- Program generation, termination, and binding-time analysis ICFP 2002
- Correctness of Binding-Time Analysis JFP 1993
- Termination analysis and specialization-point insertion in offline partial evaluation TOPLAS 2005
- Efficient Analysis for Realistic Off-Line Partial Evaluation JFP 1993
- Automatic generation of library bindings using static analysis PLDI 2009
- Hybrid partial evaluation OOPSLA 2011
- Binding-Time Analysis and Strictness Analysis by Abstract Interpretation SAS 1995
- Polymorphic Binding-Time Analysis ESOP 1994