Non-monotonic Self-Adjusting Computation
No abstract available.
Related papers
- A consistent semantics of self-adjusting computation JFP 2013
- A Consistent Semantics of Self-adjusting Computation ESOP 2007
- CEAL: a C-based language for self-adjusting computation PLDI 2009
- A cost semantics for self-adjusting computation POPL 2009
- Imperative self-adjusting computation POPL 2008
- Implicit self-adjusting computation for purely functional programs ICFP 2011
- Traceable data types for self-adjusting computation PLDI 2010
- Functional programming for dynamic and large data with self-adjusting computation ICFP 2014