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