Durability Semantics for Lock-based Multithreaded Programs.
Dhruva R. ChakrabartiHans-Juergen BoehmPublished in: HotPar (2013)
Keyphrases
- formal semantics
- stable model semantics
- logic programs
- fixpoint
- stable models
- natural language
- logic programming
- multi user
- normal logic programs
- dynamic logic
- model theoretic
- programming language constructs
- semantics for logic programs
- fixpoint semantics
- declarative semantics
- control flow
- semantic information
- language constructs
- operational semantics
- computer programs
- concurrency control
- open world
- locking protocol
- relational databases
- databases