Purity Analysis: An Abstract Interpretation Formulation
Abstract elided by the publisher.
Related papers
- Purity and Side Effect Analysis for Java Programs VMCAI 2005
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs SAS 2011
- Reim & ReImInfer: checking and inference of reference immutability and method purity OOPSLA 2012
- Abstract parsing for two-staged languages with concatenation GPCE 2009
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Purity of an ST monad: full abstraction by semantically typed back-translation OOPSLA 2022
- Reference Counting as a Computational Interpretation of Linear Logic JFP 1996