Efficient Closure Utilisation by Higher-Order Inheritance Analysis
Abstract elided by the publisher.
Related papers
- Closure Analysis in Constraint Form TOPLAS 1995
- Flow-Analysis-Based Closure Optimization PLDI 2026
- Parallelism in a Region Inference Context PLDI 2023
- Unboundedness and downward closures of higher-order pushdown automata POPL 2016
- Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures JFP 1996
- Higher-Order Distributed Objects TOPLAS 1995
- A Practical and Flexible Flow Analysis for Higher-Order Languages POPL 1996
- A Practical and Flexible Flow Analysis for Higher-Order Languages TOPLAS 1998