Dynamic state restoration using versioning exceptions

DOI10.1007/S10990-006-8610-8zbMath1105.68013OpenAlexW2021018584MaRDI QIDQ853735

V. Krishna Nandivada, Suresh Jagannathan

Publication date: 17 November 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-006-8610-8

zbMATH Keywords

TransactionsRollbackProgram analysisExceptionsPoints to analysisVersioning

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• Haskell
• Oz
• Curry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based memory management
• Making data structures persistent
• On the non-approximability of points-to analysis
• Guardians and Actions: Linguistic Support for Robust, Distributed Programs
• Polymorphic type, region and effect inference
• Virtual-machine-based heterogeneous checkpointing
• Programming Languages and Systems
• Software transactional memory
• A constraint-based region inference algorithm

This page was built for publication: Dynamic state restoration using versioning exceptions