Unifying Theories of Programming That Distinguish Nontermination and Abort.
Ian J. HayesSteve DunneLarissa MeinickePublished in: MPC (2010)
Keyphrases
- response time
- programming language
- nested transactions
- distributed database systems
- transaction management
- transaction processing
- theoretical framework
- concurrency control
- computational models
- cognitive psychology
- databases
- access control
- programming environment
- programming course
- database systems
- information systems
- formal models
- neural network