Synthesis of rewrite programs by higher-order and semantic unification

This publication has 9 references indexed in Scilit:

• Higher-order unification revisited: Complete sets of transformations
  Journal of Symbolic Computation, 1989
• Natural deduction as higher-order resolution
  The Journal of Logic Programming, 1986
• Algorithmic program diagnosis
  Published by Association for Computing Machinery (ACM) ,1982
• Canonical Forms and Unification.
  Published by Defense Technical Information Center (DTIC) ,1980
• 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
• The Inference of Regular LISP Programs from Examples
  IEEE Transactions on Systems, Man, and Cybernetics, 1978
• A Methodology for LISP Program Construction from Examples
  Journal of the ACM, 1977
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975