Z. Manna, und R. Waldinger. ACM Transactions on Programming Languages and Systems, 2 (1):
90--121(1980)
Zusammenfassung
Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.
%0 Journal Article
%1 MannaWa80
%A Manna, Zohar
%A Waldinger, Richard
%C New York, NY, USA
%D 1980
%I ACM
%J ACM Transactions on Programming Languages and Systems
%K article deductiveprogramsynthesis master_thesis program_synthesis
%N 1
%P 90--121
%T A Deductive Approach to Program Synthesis
%U http://doi.acm.org/10.1145/357084.357090
%V 2
%X Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.
@article{MannaWa80,
abstract = {Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.},
added-at = {2012-12-26T03:53:54.000+0100},
address = {New York, NY, USA},
author = {Manna, Zohar and Waldinger, Richard},
biburl = {https://www.bibsonomy.org/bibtex/2a54c3283c5d5de2d8fff4e9004681c5c/kaptoxic},
interhash = {3d47f313e78a347ea912958f3a7f0f17},
intrahash = {a54c3283c5d5de2d8fff4e9004681c5c},
journal = {ACM Transactions on Programming Languages and Systems},
keywords = {article deductiveprogramsynthesis master_thesis program_synthesis},
number = 1,
pages = {90--121},
publisher = {ACM},
timestamp = {2012-12-26T03:53:54.000+0100},
title = {A Deductive Approach to Program Synthesis},
url = {http://doi.acm.org/10.1145/357084.357090},
volume = 2,
year = 1980
}