A Unified Treatment of Flow Analysis in Higher-Order Languages
Abstract
We describe a framework for flow analysis in higher-order languages. It is both a synthesis and extension of earlier work in this area, most notably [20, 22]
Related papers
- A Practical and Flexible Flow Analysis for Higher-Order Languages POPL 1996
- A Practical and Flexible Flow Analysis for Higher-Order Languages TOPLAS 1998
- A type system for higher-order modules POPL 2003
- A monadic analysis of information flow security with mutable state JFP 2005
- Polymorphism and separation in hoare type theory ICFP 2006
- A theory of higher-order subtyping with type intervals ICFP 2021
- Static interpretation of higher-order modules in Futhark: functional GPU programming in the large ICFP 2018
- Abstract allocation as a unified approach to polyvariance in control-flow analyses JFP 2018