Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages.
John HannanPublished in: ELP (1991)
Keyphrases
- lambda calculus
- programming language
- predicate calculus
- database query languages
- general purpose
- object oriented
- higher order
- program understanding
- complex objects
- expressive power
- high level
- databases
- database management
- reverse engineering
- first order logic
- data management
- database languages
- strongly typed
- knowledge base