Heap Assumptions on Demand
No abstract available.
Related papers
- Rethinking a heap hierarchy as a cache hierarchy: a higher-order theory of memory demand (HOTM) ISMM 2016
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- The economics of garbage collection ISMM 2010
- Barriers: friend or foe? ISMM 2004
- Static prediction of heap space usage for first-order functional programs POPL 2003
- SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores PLDI 2018
- Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP 2024
- Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures JFP 1996