An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
Kohei HondaNobuko YoshidaMartin BergerPublished in: LICS (2005)
Keyphrases
- higher order
- declarative semantics
- higher order logic
- logical rules
- lambda calculus
- deductive databases
- high order
- rule engine
- logic programming
- intuitionistic logic
- cut elimination
- active rules
- derivation rules
- classical logic
- rule sets
- classification rules
- natural images
- markov random field
- production rules
- low order
- association rules
- computer programs
- predicate logic
- frame rate
- natural deduction
- logical representation
- decision rules
- background knowledge
- proof theoretic