A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language.
Colin StirlingPublished in: Theor. Comput. Sci. (1988)
Keyphrases
- order sorted
- concurrent programming
- formal language
- predicate logic
- dynamic logic
- intuitionistic logic
- proof theory
- programming language
- formal theory
- natural language
- predicate calculus
- language learning
- conditional logic
- logic programming
- logic programming language
- classical logic
- specification language
- multi valued
- neural network
- mutual exclusion
- formal semantics
- agent programming
- lambda calculus
- temporal logic
- multi agent systems
- concurrent programs