From programming-by-example to proving-by-example (Q5096230): Difference between revisions

@@ Property / cites work @@
+Higher-order unification with dependent function types
+Normal rank
@@ Property / cites work @@
+Synthesis of rewrite programs by higher-order and semantic unification
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+A class of functions synthesized from a finite number of examples and a lisp program scheme
+Normal rank
@@ Property / cites work @@
+Higher-order unification revisited: Complete sets of transformations
+Normal rank
@@ Property / cites work @@
+A Methodology for LISP Program Construction from Examples
+Normal rank
@@ Property / cites work @@
+Explanation-based generalisation \(=\) partial evaluation
+Normal rank