A Compositional Reformulation of Owicki-Gries's Partial Correctness Logic for a Concurrent While Language.
Colin StirlingPublished in: ICALP (1986)
Keyphrases
- concurrent programming
- concurrent programs
- formal language
- proof theory
- dynamic logic
- programming language
- natural language
- language learning
- intuitionistic logic
- operational semantics
- formal theory
- classical logic
- modal operators
- conditional logic
- highly expressive
- linear temporal logic
- concurrent execution
- order sorted
- mutual exclusion
- logic programming language
- computational linguistics
- language processing
- logic programming
- programs written
- defeasible logic
- multi valued