Compactly Representing First-Order Structures for Static Analysis
No abstract available.
Related papers
- Compactly representing parallel program executions PPoPP 2003
- An efficient data structure for must-alias analysis CC 2018
- Searching entangled program spaces ICFP 2022
- Abstract Interpretation with Unfoldings CAV 2017
- Static prediction of parallel computation graphs POPL 2022
- The exp-log normal form of types: decomposing extensional equality and representing terms compactly POPL 2017
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- Precise Analysis of String Expressions SAS 2003