A compositional natural semantics and Hoare logic for low-level languages.
Ando SaabasTarmo UustaluPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- low level
- highly expressive
- logic programming
- formal language
- proof theory
- high level
- sound and complete axiomatization
- sound and complete with respect
- computational properties
- nonmonotonic logics
- expressive power
- propositional dynamic logic
- constraint language
- specification languages
- high level semantics
- predicate logic
- proof theoretic
- higher level
- database languages
- formal semantics
- semantic information
- epistemic logic
- logical framework
- derivation rules
- default reasoning
- language independent
- conditional logic
- active rules
- dynamic logic
- rule engine
- low level features
- knowledge representation
- model theoretic
- deductive databases
- logical rules
- modal operators
- lower level
- classical logic
- pattern languages
- integrity constraints
- programming language
- logic programs
- predicate calculus
- autoepistemic logic
- visual features
- operational semantics
- defeasible logic
- modal logic
- algebraic structure
- knowledge representation languages
- logical theories
- intuitionistic logic
- first order logic
- automated reasoning
- alternating time temporal logic