Extracting a Data Flow Analyser in Constructive Logic
Abstract elided by the publisher.
Related papers
- Parameterized Construction of Program Representations for Sparse Dataflow Analyses CC 2014
- Make Flows Small Again: Revisiting the Flow Framework TACAS 2023
- Data flow refinement type inference POPL 2021
- The Logic of a Relational Data Manipulation Language POPL 1979
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- A Constructive Logic of Multiple Subtyping POPL 1993
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- Noninterference through flow analysis JFP 2005