Constructive, inductive proof is used to show that the specification of a program is realisable; elaboration of a proof gives rise to the synthesis of a program ...
Constructive, inductive proof is used to show that the specification of a program is realisable; elaboration of a proof gives rise to the synthesis of a program ...
Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. Proceedings of LoPSTr-91. View/Open.
This work discusses a technique which allows synthesis of logic programs in the “proofs-as-programs” paradigm, and presents an update on earlier ideas, ...
We discuss a technique which allows synthesis of logic programs in the “proofs-as-programs” paradigm [Constable 82]. Constructive, inductive proof is used to ...
Pettorossi, M. Proietti SYNTHESIS AND TRANSFORMATION OF LOGIC PROGRAMS USING UNFOLD/FOLD PROOFS R. 457 Giugno 1997 Alberto Pettorossi | Dipartimento di ...
Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. G. A. Wiggins, Alan Bundy, I. Kraan, J. Hesketh. Informatics and Applied ...
Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. G. A. Wiggins, Alan Bundy, I. Kraan, J. Hesketh. School of Informatics.
(PDF) Synthesis and Transformation of Logic Programs from ...
www.academia.edu › Synthesis_and_Tra...
Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof. Profile image of Alberto Pettorossi Alberto Pettorossi. 1992, Workshops in ...
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof LOPSTR, 1991. LOPSTR 1991 · DBLP · Scholar. Full names. Links ISxN. @ ...