Executable rewriting logic semantics of Orc and formal analysis of Orc programs.
Musab A. AlTurkiJosé MeseguerPublished in: J. Log. Algebraic Methods Program. (2015)
Keyphrases
- formal analysis
- dynamic logic
- logic programming
- declarative semantics
- control flow
- proof theory
- logic programs
- sound and complete with respect
- propositional dynamic logic
- epistemic logic
- process algebra
- sound and complete axiomatization
- formal methods
- stable models
- stable model semantics
- nonmonotonic logics
- asynchronous circuits
- magic sets
- operational semantics
- logical framework
- answer sets
- active rules
- fixpoint
- modal operators
- agent model
- deductive databases
- modal logic
- model theoretic
- semantics for logic programs
- formal semantics
- datalog programs
- formal specification
- attribute grammars
- ban logic
- fixed point semantics
- algebraic structure
- knowledge acquisition
- rule engine
- knowledge representation
- expert systems
- knowledge base