The structure of typed programming languages
The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruc...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
1994
|
| Schriftenreihe: | Foundations of computing series
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009652687 | ||
| 003 | DE-604 | ||
| 005 | 20020308 | ||
| 007 | t | ||
| 008 | 940613s1994 |||| 00||| eng d | ||
| 020 | |a 026269171X |9 0-262-69171-X | ||
| 020 | |a 0262193493 |9 0-262-19349-3 | ||
| 035 | |a (OCoLC)29024695 | ||
| 035 | |a (DE-599)BVBBV009652687 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-29T |a DE-91G |a DE-739 |a DE-19 |a DE-473 |a DE-634 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 100 | 1 | |a Schmidt, David A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The structure of typed programming languages |c David A. Schmidt |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1994 | |
| 300 | |a XIV, 367 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Foundations of computing series | |
| 500 | |a Literaturverz. S. [343] - 360 | ||
| 520 | 3 | |a The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruction of the Algol-like imperative languages such as Pascal, Ada, and Modula-3, and the higher-order functional languages such as Scheme and ML. David Schmidt's text is based on the premise that although few programmers ever actually design a programming language, it is important for them to understand the structuring techniques. His use of these techniques in a reconstruction of existing programming languages and in the design of new ones allows programmers and would-be programmers to see why existing languages are structured the way they are and how new languages can be built using variations on standard themes | |
| 520 | |a The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory. The latter in particular reveals that a programming language is a logic in which its typing system defines the propositions of the logic and its well-typed programs constitute the proofs of the propositions. The Structure of Typed Programming Languages is designed for use in a first or second course on principles of programming languages. It assumes a basic knowledge of programming languages and mathematics equivalent to a course based on books such as Friedman, Wand, and Haynes's Essentials of Programming Languages. As Schmidt covers both the syntax and the semantics of programming languages, his text provides a perfect precursor to a more formal presentation of programming language semantics such as Gunter's Semantics of Programming Languages | ||
| 650 | 4 | |a Langages de programmation | |
| 650 | 7 | |a Langages de programmation |2 ram | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a sémantique dénotationnelle |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006382087 | ||
Datensatz im Suchindex
| DE-473_call_number | 30/ST 136 WX 22569 |
|---|---|
| DE-473_location | 0 |
| DE-BY-TUM_call_number | 0102/DAT 350f 2001 A 30632 |
| DE-BY-TUM_katkey | 627114 |
| DE-BY-TUM_media_number | 040010646101 |
| DE-BY-UBG_katkey | 1874453 |
| DE-BY-UBG_media_number | 013105736937 |
| _version_ | 1816711694483718144 |
| any_adam_object | |
| author | Schmidt, David A. |
| author_facet | Schmidt, David A. |
| author_role | aut |
| author_sort | Schmidt, David A. |
| author_variant | d a s da das |
| building | Verbundindex |
| bvnumber | BV009652687 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 136 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)29024695 (DE-599)BVBBV009652687 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| 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>03430nam a2200505 c 4500</leader><controlfield tag="001">BV009652687</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020308 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940613s1994 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026269171X</subfield><subfield code="9">0-262-69171-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262193493</subfield><subfield code="9">0-262-19349-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29024695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009652687</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schmidt, David A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The structure of typed programming languages</subfield><subfield code="c">David A. Schmidt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 367 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="0" ind2=" "><subfield code="a">Foundations of computing series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [343] - 360</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruction of the Algol-like imperative languages such as Pascal, Ada, and Modula-3, and the higher-order functional languages such as Scheme and ML. David Schmidt's text is based on the premise that although few programmers ever actually design a programming language, it is important for them to understand the structuring techniques. His use of these techniques in a reconstruction of existing programming languages and in the design of new ones allows programmers and would-be programmers to see why existing languages are structured the way they are and how new languages can be built using variations on standard themes</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory. The latter in particular reveals that a programming language is a logic in which its typing system defines the propositions of the logic and its well-typed programs constitute the proofs of the propositions. The Structure of Typed Programming Languages is designed for use in a first or second course on principles of programming languages. It assumes a basic knowledge of programming languages and mathematics equivalent to a course based on books such as Friedman, Wand, and Haynes's Essentials of Programming Languages. As Schmidt covers both the syntax and the semantics of programming languages, his text provides a perfect precursor to a more formal presentation of programming language semantics such as Gunter's Semantics of Programming Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique dénotationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006382087</subfield></datafield></record></collection> |
| id | DE-604.BV009652687 |
| illustrated | Not Illustrated |
| index_date | 2024-09-19T15:17:20Z |
| indexdate | 2024-11-25T17:14:19Z |
| institution | BVB |
| isbn | 026269171X 0262193493 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006382087 |
| oclc_num | 29024695 |
| open_access_boolean | |
| owner | DE-20 DE-29T DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-634 |
| owner_facet | DE-20 DE-29T DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-634 |
| physical | XIV, 367 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Foundations of computing series |
| spellingShingle | Schmidt, David A. The structure of typed programming languages Langages de programmation Langages de programmation ram lambda calcul inriac programmation fonctionnelle inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie type inriac Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 |
| title | The structure of typed programming languages |
| title_auth | The structure of typed programming languages |
| title_exact_search | The structure of typed programming languages |
| title_full | The structure of typed programming languages David A. Schmidt |
| title_fullStr | The structure of typed programming languages David A. Schmidt |
| title_full_unstemmed | The structure of typed programming languages David A. Schmidt |
| title_short | The structure of typed programming languages |
| title_sort | the structure of typed programming languages |
| topic | Langages de programmation Langages de programmation ram lambda calcul inriac programmation fonctionnelle inriac sémantique dénotationnelle inriac sémantique langage programmation inriac théorie type inriac Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Langages de programmation lambda calcul programmation fonctionnelle sémantique dénotationnelle sémantique langage programmation théorie type Programming languages (Electronic computers) Programmiersprache |
| work_keys_str_mv | AT schmidtdavida thestructureoftypedprogramminglanguages |