Hoare-Style Logic for Unstructured Programs.
Didrik LundbergRoberto GuancialeAndreas LindnerMads DamPublished in: SEFM (2020)
Keyphrases
- dynamic logic
- recursive programs
- classical logic
- semi structured
- multi valued
- modal logic
- computer programs
- logic programming
- automated reasoning
- agent programming
- declarative semantics
- logic programs
- asynchronous circuits
- reasoning about actions
- data sets
- functional programs
- knowledge base
- linear logic
- predicate logic
- digital circuits
- set theory
- operational semantics
- defeasible logic
- database
- control flow
- probabilistic logic
- horn clauses
- structured data