AbstractWe present a constructive description of the automatic program synthesis method used in the PRIZ programming system. We give a justification of the method by proving the completeness of its inference rules for the class of constructive theories, and we present rules for transforming any intuitionistic propositional formula into a form suitable for these inference rules
Publie dans : Theoretical computer science, 71, n.2, 1990, p. 227-239Available at INIST (FR), Docume...
In this paper we propose a method for program synthesis from constructive proofs based on a particul...
Proof search for the structural synthesis of programs (SSP)- a deductive program synthesis method wh...
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
AbstractThe programming system PRIZ combines conventional programming technique with automatic synth...
Program synthesis is the process of developing a computer program automatically from a specification...
Program reasoning consists of the tasks of automatically and statically ver-ifying correctness and i...
AbstractLogic programming is understood as the use of constructive proofs for building correct progr...
This book describes the approach to the constructive analysis of computation as developed by Prof. P...
Systems built for automated program construction aim at the formalization of the programming process...
We introduce in this paper the notion of partial deduction in the framework of structural synthesis ...
. The notion of partial deduction known from logic programming is defined in the framework of Struct...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
Publie dans : Theoretical computer science, 71, n.2, 1990, p. 227-239Available at INIST (FR), Docume...
In this paper we propose a method for program synthesis from constructive proofs based on a particul...
Proof search for the structural synthesis of programs (SSP)- a deductive program synthesis method wh...
AbstractWe present a constructive description of the automatic program synthesis method used in the ...
AbstractThe programming system PRIZ combines conventional programming technique with automatic synth...
Program synthesis is the process of developing a computer program automatically from a specification...
Program reasoning consists of the tasks of automatically and statically ver-ifying correctness and i...
AbstractLogic programming is understood as the use of constructive proofs for building correct progr...
This book describes the approach to the constructive analysis of computation as developed by Prof. P...
Systems built for automated program construction aim at the formalization of the programming process...
We introduce in this paper the notion of partial deduction in the framework of structural synthesis ...
. The notion of partial deduction known from logic programming is defined in the framework of Struct...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
We describe a formalization of the meta-mathematics of programming in a higher-order logical calculu...
Publie dans : Theoretical computer science, 71, n.2, 1990, p. 227-239Available at INIST (FR), Docume...
In this paper we propose a method for program synthesis from constructive proofs based on a particul...
Proof search for the structural synthesis of programs (SSP)- a deductive program synthesis method wh...
DOI
Add to ORKG