Binding-Time Analysis and Strictness Analysis by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- A Polyvariant Binding-Time Analysis for Off-line Partial Deduction ESOP 1998
- On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation POPL 1991
- Strictness Analysis and Denotational Abstract Interpretation POPL 1987
- Collecting Interpretations of Expressions TOPLAS 1991
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021
- On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs JFP 1995
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming OOPSLA 2019