A Type-based Framework for Program Analysis
No abstract available.
Related papers
- Systematic Design of Program Analysis Frameworks POPL 1979
- Typed-Untyped Interactions: A Comparative Analysis TOPLAS 2023
- Type-based parametric analysis of program families ICFP 2014
- A relational framework for higher-order shape analysis ICFP 2014
- LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation CGO 2004
- Generalizing Shape Analysis with Gradual Types ECOOP 2024
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024
- Framework for Static Analysis of PHP Applications ECOOP 2015