Login / Signup
Partial Evaluation and omega-Completeness of Algebraic Specifications.
Jan Heering
Published in:
Theor. Comput. Sci. (1986)
Keyphrases
</>
partial evaluation
explanation based generalization
delay insensitive
higher order
formal specification
data quality
decision trees
high level
inductive logic programming
domain theory