Syntactic and Semantic Soundness of Structural Dataflow Analysis
Abstract elided by the publisher.
Related papers
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities PLDI 2026
- Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment POPL 1983
- Reactive imperative programming with dataflow constraints OOPSLA 2011
- Semantic Foundations for Deterministic Dataflow and Stream Processing ESOP 2020
- Automated soundness proofs for dataflow analyses and transformations via local rules POPL 2005
- Efficient Dataflow Analysis of Logic Programs POPL 1988