Laws of Programming: The Algebraic Unification of Theories of Concurrency.
Tony HoarePublished in: CONCUR (2014)
Keyphrases
- equational theories
- programming language
- concurrent programming
- higher order
- concurrency control
- theoretical framework
- databases
- theorem prover
- hands on guide
- object oriented
- data structure
- database applications
- theorem proving
- object oriented programming
- programming environment
- dynamic allocation
- case study
- knowledge base