%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 }