This paper is a comparative study in program synthesis. Two approaches — program synthesis by means of the Knuth-Bendix completion procedure (KBCP) and a ...
This paper is a comparative study in program synthesis. Two approach es. - program synthesis by means of the Knuth-Bendix completion procedure. (KBCP) and a ...
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. Authors: Bertram Fronhöfer. Bertram Fronhöfer.
Bertram Fronhöfer, Ulrich Furbach: Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI 1986: 289-300.
Title: Knuth--Bendix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis ; Author(s):, B. Fronhöfer and U. Furbach ; Year: 1986 ; Booktitle: ...
Knuth-Bendix completion versus fold/unfold: A comparative study in program synthesis ... synthesis of rewrite programs based on Knuth-Bendix completion techniques.
1989. Fronhijfer, B. and Furbach, U. Knuth-Bendix completion versus fold/unfold: A comparative study in program syn- thesis. In Rollinger, C. and Horn, W ...
Knuth-Bendix completion versus fold/unfold: A comparative study in program synthesis. In. Rollinger, C. and Horn, W., editors, Proceedings of the Tenth German ...
In this paper, we describe how the Knuth-Bendix completion procedure [Knuth-Bendix-70] may be used to generate programs from their (equational) specifications.
Missing: versus Comparative Study
Knuth-Bendix completion versus fold/unfold: A comparative study in program ... A method for the inductive synthesis of rewrite programs based on Knuth-Bendix.