On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs.

Charles Consel Siau-Cheng Khoo

Published in: J. Funct. Program. (1995)

Keyphrases

partial evaluation
explanation based generalization
semantic information
high level
semantic web
theorem prover
logic programming
machine learning
knowledge base
metadata
active learning
low level
co occurrence
positive and negative
theorem proving
semantic constraints