DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation
No abstract available.
Related papers
- The METAFrame'95 Environment CAV 1996
- Graphs in METAFrame: The Unifying Power of Polymorphism TACAS 1997
- DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses CC 2025
- Haskell program coverage Haskell 2007
- From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach TACAS 1999
- Structurally Defined Conditional Data-Flow Static Analysis TACAS 2018
- Exploring the space of optimization sequences for code-size reduction: insights and tools CC 2021
- HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance CC 2026