Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability
No abstract available.
Related papers
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- Dynamic data polyvariance using source-tagged classes DLS 2005
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Efficient Demand-Driven Evaluation - Part 2 TOPLAS 1986
- A demand-driven adaptive type analysis ICFP 2002
- Snugglebug: a powerful approach to weakest preconditions PLDI 2009
- Null dereference verification via over-approximated weakest pre-conditions analysis OOPSLA 2011