Fundamentals of deductive program synthesis:
Abstract: "An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be suffic...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
1992
|
| Schriftenreihe: | Stanford University / Computer Science Department: Report STAN CS
1404 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced to indicate a computational method for finding it. That method becomes the basis for a program that can be extracted from the proof. The exposition is based on the deductive-tableau system, a theorem-proving framework particularly suitable for program synthesis. |
| Beschreibung: | 62 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008993185 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)29182798 | ||
| 035 | |a (DE-599)BVBBV008993185 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 100 | 1 | |a Manna, Zohar |d 1939-2018 |e Verfasser |0 (DE-588)128838248 |4 aut | |
| 245 | 1 | 0 | |a Fundamentals of deductive program synthesis |c by Zohar Manna and Richard Waldinger |
| 264 | 1 | |a Stanford, Calif. |c 1992 | |
| 300 | |a 62 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Stanford University / Computer Science Department: Report STAN CS |v 1404 | |
| 520 | 3 | |a Abstract: "An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced to indicate a computational method for finding it. That method becomes the basis for a program that can be extracted from the proof. The exposition is based on the deductive-tableau system, a theorem-proving framework particularly suitable for program synthesis. | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Waldinger, Richard |e Verfasser |4 aut | |
| 810 | 2 | |a Computer Science Department: Report STAN CS |t Stanford University |v 1404 |w (DE-604)BV008928280 |9 1404 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005942008 | ||
Datensatz im Suchindex
| _version_ | 1804123335703920640 |
|---|---|
| any_adam_object | |
| author | Manna, Zohar 1939-2018 Waldinger, Richard |
| author_GND | (DE-588)128838248 |
| author_facet | Manna, Zohar 1939-2018 Waldinger, Richard |
| author_role | aut aut |
| author_sort | Manna, Zohar 1939-2018 |
| author_variant | z m zm r w rw |
| building | Verbundindex |
| bvnumber | BV008993185 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)29182798 (DE-599)BVBBV008993185 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01776nam a2200337 cb4500</leader><controlfield tag="001">BV008993185</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29182798</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008993185</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Manna, Zohar</subfield><subfield code="d">1939-2018</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128838248</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamentals of deductive program synthesis</subfield><subfield code="c">by Zohar Manna and Richard Waldinger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">62 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Stanford University / Computer Science Department: Report STAN CS</subfield><subfield code="v">1404</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced to indicate a computational method for finding it. That method becomes the basis for a program that can be extracted from the proof. The exposition is based on the deductive-tableau system, a theorem-proving framework particularly suitable for program synthesis.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Waldinger, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Computer Science Department: Report STAN CS</subfield><subfield code="t">Stanford University</subfield><subfield code="v">1404</subfield><subfield code="w">(DE-604)BV008928280</subfield><subfield code="9">1404</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005942008</subfield></datafield></record></collection> |
| id | DE-604.BV008993185 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:08Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005942008 |
| oclc_num | 29182798 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 62 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Stanford University / Computer Science Department: Report STAN CS |
| spelling | Manna, Zohar 1939-2018 Verfasser (DE-588)128838248 aut Fundamentals of deductive program synthesis by Zohar Manna and Richard Waldinger Stanford, Calif. 1992 62 S. txt rdacontent n rdamedia nc rdacarrier Stanford University / Computer Science Department: Report STAN CS 1404 Abstract: "An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced to indicate a computational method for finding it. That method becomes the basis for a program that can be extracted from the proof. The exposition is based on the deductive-tableau system, a theorem-proving framework particularly suitable for program synthesis. Computer programming Logic, Symbolic and mathematical Waldinger, Richard Verfasser aut Computer Science Department: Report STAN CS Stanford University 1404 (DE-604)BV008928280 1404 |
| spellingShingle | Manna, Zohar 1939-2018 Waldinger, Richard Fundamentals of deductive program synthesis Computer programming Logic, Symbolic and mathematical |
| title | Fundamentals of deductive program synthesis |
| title_auth | Fundamentals of deductive program synthesis |
| title_exact_search | Fundamentals of deductive program synthesis |
| title_full | Fundamentals of deductive program synthesis by Zohar Manna and Richard Waldinger |
| title_fullStr | Fundamentals of deductive program synthesis by Zohar Manna and Richard Waldinger |
| title_full_unstemmed | Fundamentals of deductive program synthesis by Zohar Manna and Richard Waldinger |
| title_short | Fundamentals of deductive program synthesis |
| title_sort | fundamentals of deductive program synthesis |
| topic | Computer programming Logic, Symbolic and mathematical |
| topic_facet | Computer programming Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV008928280 |
| work_keys_str_mv | AT mannazohar fundamentalsofdeductiveprogramsynthesis AT waldingerrichard fundamentalsofdeductiveprogramsynthesis |