A Consistent Semantics of Self-adjusting Computation
Abstract elided by the publisher.
Related papers
- A consistent semantics of self-adjusting computation JFP 2013
- Self-adjusting stack machines OOPSLA 2011
- A cost semantics for self-adjusting computation POPL 2009
- Implicit self-adjusting computation for purely functional programs JFP 2014
- Non-monotonic Self-Adjusting Computation ESOP 2012
- CEAL: a C-based language for self-adjusting computation PLDI 2009
- Imperative self-adjusting computation POPL 2008
- Implicit self-adjusting computation for purely functional programs ICFP 2011