Skip to main content

A Relationship Between Abstract Interpretation and Projection Analysis

Geoffrey Livingston Burn

DOI 10.1145/96709.96724 dblp BibTeX

Abstract

Abstract interpretation and projection analysis are two techniques for finding out information about lazy functional programs. Two typical uses of these techniques are speeding up sequential implementations, and the introduction of parallelism into parallel implementations.

Related papers

Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998
Compositional soundness proofs of abstract interpreters ICFP 2018
Reference Counting as a Computational Interpretation of Linear Logic JFP 1996
Abstract Interpretation with Specialized Definitions SAS 2006
A framework for the integration of partial evaluation and abstract interpretation of logic programs TOPLAS 2004
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming OOPSLA 2019
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
A combination framework for tracking partition sizes POPL 2009