From programming-by-example to proving-by-example

This publication has 9 references indexed in Scilit:

• Synthesis of rewrite programs by higher-order and semantic unification
  New Generation Computing, 1991
• Higher-order unification revisited: Complete sets of transformations
  Journal of Symbolic Computation, 1989
• Explanation-based learning: a survey of programs and perspectives
  ACM Computing Surveys, 1989
• Explanation-based generalisation = partial evaluation
  Artificial Intelligence, 1988
• Inductive Inference: Theory and Methods
  ACM Computing Surveys, 1983
• A class of functions synthesized from a finite number of examples and a lisp program scheme
  International Journal of Parallel Programming, 1979
• Proving and applying program transformations expressed with second-order patterns
  Acta Informatica, 1978
• A Methodology for LISP Program Construction from Examples
  Journal of the ACM, 1977
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975