Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages.
Lars BirkedalNoah Torp-SmithHongseok YangPublished in: Log. Methods Comput. Sci. (2006)
Keyphrases
- highly expressive
- higher order
- higher order logic
- logical rules
- rule engine
- derivation rules
- active rules
- predicate logic
- lambda calculus
- database query languages
- logic programming
- proof theoretic
- formal language
- proof theory
- declarative semantics
- sound and complete axiomatization
- intuitionistic logic
- programming language
- first order logic
- deduction rules
- transformation rules
- expressive power
- computational properties
- description logics
- conditional logic
- domain specific languages
- rule language
- high order
- sound and complete with respect
- epistemic logic
- production rules
- nonmonotonic logics
- defeasible logic
- pairwise
- modal logic
- propositional dynamic logic
- logic programming language
- modal operators
- knowledge representation
- logical framework
- logic programs
- formal semantics
- constraint language
- dynamic logic
- specification languages
- operational semantics
- deductive databases
- alternating time temporal logic
- markov random field
- linear logic
- model theoretic
- inductive logic programming
- rule base
- default reasoning
- owl ontologies
- query language
- integrity constraints
- temporal logic
- business rules
- logical formulas
- logical theories
- fixpoint semantics
- predicate calculus
- default rules
- type checking