Abstract Semantics for a Higher-Order Functional Language with Logic Variables.
Radha JagadeesanKeshav PingaliPublished in: POPL (1992)
Keyphrases
- higher order
- higher order logic
- functional language
- propositional dynamic logic
- logic programming
- functional programming
- object identity
- programming language
- logical formulas
- logical framework
- formal semantics
- proof planning
- object oriented databases
- operational semantics
- model theoretic
- general purpose
- modal logic
- classical logic
- high level
- logic programs
- predicate logic
- theorem prover
- abstract data types
- control flow
- complex objects
- knowledge base
- object oriented programming
- query language
- deductive databases