Reasoning about Optimistic Concurrency Using a Program Logic for History.
Ming FuYong LiXinyu FengZhong ShaoYu ZhangPublished in: CONCUR (2010)
Keyphrases
- formal theory
- concurrent programming
- computer programs
- database systems
- modal operators
- data structure
- functional programs
- proof theory
- program execution
- programming environment
- causal reasoning
- automated reasoning
- recursive programs
- declarative semantics
- classical logic
- databases
- qualitative reasoning
- spatial reasoning
- modal logic
- concurrency control
- software systems
- logic programming
- neural network