A Compositional Natural Semantics and Hoare Logic for Low-Level Languages.
Ando SaabasTarmo UustaluPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- low level
- highly expressive
- formal language
- logic programming
- proof theory
- epistemic logic
- sound and complete axiomatization
- high level
- formal semantics
- sound and complete with respect
- higher level
- specification languages
- high level semantics
- nonmonotonic logics
- logical framework
- expressive power
- computational properties
- derivation rules
- proof theoretic
- semantic information
- modal logic
- predicate logic
- active rules
- low level features
- database languages
- model theoretic
- dynamic logic
- modal operators
- constraint language
- conditional logic
- lower level
- defeasible logic
- propositional dynamic logic
- default reasoning
- predicate calculus
- deductive databases
- logical theories
- alternating time temporal logic
- autoepistemic logic
- language independent
- natural language
- rule engine
- operational semantics
- abstract argumentation frameworks
- classical logic
- first order logic
- visual features
- programming language
- rewrite systems
- intuitionistic logic
- linguistic expressions
- logic programs
- fixed point semantics