Using Locality of Flow in Dataflow Analyses
Abstract elided by the publisher.
Related papers
- Automated soundness proofs for dataflow analyses and transformations via local rules POPL 2005
- On the Complexity of Flow-Sensitive Dataflow Analyses POPL 2000
- Parameterized Construction of Program Representations for Sparse Dataflow Analyses CC 2014
- FlowSpec: declarative dataflow analysis specification SLE 2017
- Practical Integrated Analysis of Pointers, Dataflow and Control Flow TOPLAS 2013
- Partitioning Dataflow Analyses Using Types POPL 1997
- Efficient Dataflow Analysis of Logic Programs POPL 1988
- On the Complexity of Dataflow Analysis of Logic Programs TOPLAS 1995