Reducing the Cost of Data Flow Analysis By Congruence Partitioning
No abstract available.
Related papers
- Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs POPL 1996
- Improving Data-flow Analysis with Path Profiles PLDI 1998
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Towards Complete Reasoning about Axiomatic Specifications VMCAI 2011
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Parametric analysis for adaptive computation offloading PLDI 2004
- Mostly static program partitioning of binary executables TOPLAS 2009
- Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery TOPLAS 1984