Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language.
Peter Holst AndersenCarsten Kehler HolstPublished in: SAS (1996)
Keyphrases
- partial evaluation
- termination analysis
- higher order
- functional language
- explanation based generalization
- functional programming
- active rules
- active databases
- programming language
- pairwise
- object identity
- deductive databases
- logic programming
- artificial intelligence
- data mining
- database
- integrity constraints
- knowledge base