Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs.
Frank S. de BoerMaurizio GabbrielliPublished in: Horizons of the Mind (2014)
Keyphrases
- execution traces
- concurrent programming
- provably correct
- concurrent programs
- dynamic logic
- defeasible logic
- automated reasoning
- logic programming
- computational properties
- control flow
- linear logic
- data sets
- constraint language
- proof theory
- agent programming
- computer programs
- concurrent execution
- propositional variables
- modal logic