An approach to automatic deductive synthesis of functional programs (Q2457802): Difference between revisions

@@ Property / cites work @@
+A higher-order interpretation of deductive tableau
+Normal rank
@@ Property / cites work @@
+A calculus for and termination of rippling
@@ Property / cites work: A calculus for and termination of rippling / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: Meta-Level Guidance for Mathematical Reasoning
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093353
@@ Property / cites work: Q3093353 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Deductive Synthesis of Lisp Programs in the System ALISA
+Normal rank
@@ Property / cites work @@
+Middle-out reasoning for synthesis and induction
@@ Property / cites work: Middle-out reasoning for synthesis and induction / rank @@
+Normal rank
@@ Property / cites work @@
+An improved program-synthesizing algorithm and its correctness
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934147
@@ Property / cites work: Q4934147 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with a Heuristic Compiler
@@ Property / cites work: Experiments with a Heuristic Compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive synthesis of sorting programs
@@ Property / cites work: Deductive synthesis of sorting programs / rank @@
+Normal rank