Lifting On-Demand Analysis to Higher-Order Languages
No abstract available.
Related papers
- Higher-order Demand-driven Program Analysis TOPLAS 2019
- Higher-Order Demand-Driven Program Analysis ECOOP 2016
- A polymorphic modal type system for lisp-like multi-staged languages POPL 2006
- A Pure Demand Operational Semantics with Applications to Program Analysis OOPSLA 2024
- A Demand-Driven Set-Based Analysis POPL 1997
- Representing Demand by Partial Projections JFP 1996
- Rethinking a heap hierarchy as a cache hierarchy: a higher-order theory of memory demand (HOTM) ISMM 2016
- Higher-order demand-driven symbolic evaluation ICFP 2020