Synthesis of rewrite programs by higher-order and semantic unification

DOI10.1007/BF03037096MaRDI QIDQ749216zbMATH OpenOpenAlexFDO

Authors Masami Hagiya

Publication date 1991

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037096

zbMATH Keywords

inductive inferencenarrowingterm rewriting systemanti-unificationhigher-order unificationprogramming by examplesemantic unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Programming by example and proving by example using higher-order unification
• Rewriting techniques for program synthesis
• scientific article; zbMATH DE number 1696789
• Rewriting, and equational unification: the higher-order cases
• Deductive and inductive synthesis of equational programs

Cites work

• scientific article; zbMATH DE number 4045129 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 4124996 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• A Methodology for LISP Program Construction from Examples
• A class of functions synthesized from a finite number of examples and a lisp program scheme
• A typed -calculus for proving-by-example and bottom-up generalization procedure
• A unification algorithm for typed -calculus
• Higher-order unification revisited: Complete sets of transformations
• Natural deduction as higher-order resolution
• Proving and applying program transformations expressed with second-order patterns
• The Inference of Regular LISP Programs from Examples

Cited in

(4)

• Programming by example and proving by example using higher-order unification
• Program composition via unification
• Decidable higher-order unification problems
• From programming-by-example to proving-by-example

This page was built for publication: Synthesis of rewrite programs by higher-order and semantic unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749216)