The formal semantics of programming languages: an introduction
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Mass.
MIT Press
c1993
|
| Series: | Foundations of computing
|
| Subjects: | |
| Online Access: | FHA01 FHI01 Volltext |
| Item Description: | Includes bibliographical references (p. [353]-356) and index |
| Physical Description: | 1 Online-Ressource (xviii, 361 p.) |
| ISBN: | 0262231697 0262291452 9780262231695 9780262291453 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509111 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 0262231697 |9 0-262-23169-7 | ||
| 020 | |a 0262291452 |c electronic bk. |9 0-262-29145-2 | ||
| 020 | |a 9780262231695 |9 978-0-262-23169-5 | ||
| 020 | |a 9780262291453 |c electronic bk. |9 978-0-262-29145-3 | ||
| 035 | |a (OCoLC)827009813 | ||
| 035 | |a (DE-599)BVBBV042509111 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 005.13/1 |2 22 | |
| 100 | 1 | |a Winskel, G., (Glynn) |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The formal semantics of programming languages |b an introduction |c Glynn Winskel |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c c1993 | |
| 300 | |a 1 Online-Ressource (xviii, 361 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Foundations of computing | |
| 500 | |a Includes bibliographical references (p. [353]-356) and index | ||
| 650 | 4 | |a Semántica | |
| 650 | 4 | |a programmation parallèle | |
| 650 | 4 | |a sémantique dénotationnelle | |
| 650 | 4 | |a lambda calcul | |
| 650 | 4 | |a récursion | |
| 650 | 4 | |a équation récursive | |
| 650 | 4 | |a théorie domaine | |
| 650 | 4 | |a théorème Gödel | |
| 650 | 4 | |a induction | |
| 650 | 4 | |a sémantique opérationnelle | |
| 650 | 4 | |a sémantique langage programmation | |
| 650 | 4 | |a langage programmation | |
| 650 | 4 | |a sémantique formelle | |
| 650 | 4 | |a Langages de programmation / Sémantique | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 7 | |a Langages de programmation / Sémantique |2 ram | |
| 650 | 7 | |a Formale Semantik |2 swd | |
| 650 | 7 | |a Programming languages (Electronic computers) / Semantics |2 fast | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 |x Verlag |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM_GB/15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027943675 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804153253290573824 |
|---|---|
| any_adam_object | |
| author | Winskel, G., (Glynn) |
| author_facet | Winskel, G., (Glynn) |
| author_role | aut |
| author_sort | Winskel, G., (Glynn) |
| author_variant | g g w gg ggw |
| building | Verbundindex |
| bvnumber | BV042509111 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827009813 (DE-599)BVBBV042509111 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03139nmm a2200793zc 4500</leader><controlfield tag="001">BV042509111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262231697</subfield><subfield code="9">0-262-23169-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291452</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29145-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262231695</subfield><subfield code="9">978-0-262-23169-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291453</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-29145-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827009813</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509111</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Winskel, G., (Glynn)</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The formal semantics of programming languages</subfield><subfield code="b">an introduction</subfield><subfield code="c">Glynn Winskel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xviii, 361 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Foundations of computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [353]-356) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semántica</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation parallèle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sémantique dénotationnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">lambda calcul</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">récursion</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">équation récursive</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">théorie domaine</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">théorème Gödel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">induction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sémantique opérationnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sémantique langage programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">langage programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sémantique formelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation / Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation / Sémantique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming languages (Electronic computers) / Semantics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943675</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042509111 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262231697 0262291452 9780262231695 9780262291453 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943675 |
| oclc_num | 827009813 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (xviii, 361 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Foundations of computing |
| spelling | Winskel, G., (Glynn) Verfasser aut The formal semantics of programming languages an introduction Glynn Winskel Cambridge, Mass. MIT Press c1993 1 Online-Ressource (xviii, 361 p.) txt rdacontent c rdamedia cr rdacarrier Foundations of computing Includes bibliographical references (p. [353]-356) and index Semántica programmation parallèle sémantique dénotationnelle lambda calcul récursion équation récursive théorie domaine théorème Gödel induction sémantique opérationnelle sémantique langage programmation langage programmation sémantique formelle Langages de programmation / Sémantique Programmeertalen gtt Semantiek gtt Langages de programmation / Sémantique ram Formale Semantik swd Programming languages (Electronic computers) / Semantics fast Semantik Programming languages (Electronic computers) Semantics Formale Semantik (DE-588)4122144-8 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Programmiersprache (DE-588)4047409-4 s Semantik (DE-588)4054490-4 s 2\p DE-604 Formale Semantik (DE-588)4122144-8 s 3\p DE-604 http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Winskel, G., (Glynn) The formal semantics of programming languages an introduction Semántica programmation parallèle sémantique dénotationnelle lambda calcul récursion équation récursive théorie domaine théorème Gödel induction sémantique opérationnelle sémantique langage programmation langage programmation sémantique formelle Langages de programmation / Sémantique Programmeertalen gtt Semantiek gtt Langages de programmation / Sémantique ram Formale Semantik swd Programming languages (Electronic computers) / Semantics fast Semantik Programming languages (Electronic computers) Semantics Formale Semantik (DE-588)4122144-8 gnd Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4122144-8 (DE-588)4054490-4 (DE-588)4047409-4 (DE-588)4151278-9 |
| title | The formal semantics of programming languages an introduction |
| title_auth | The formal semantics of programming languages an introduction |
| title_exact_search | The formal semantics of programming languages an introduction |
| title_full | The formal semantics of programming languages an introduction Glynn Winskel |
| title_fullStr | The formal semantics of programming languages an introduction Glynn Winskel |
| title_full_unstemmed | The formal semantics of programming languages an introduction Glynn Winskel |
| title_short | The formal semantics of programming languages |
| title_sort | the formal semantics of programming languages an introduction |
| title_sub | an introduction |
| topic | Semántica programmation parallèle sémantique dénotationnelle lambda calcul récursion équation récursive théorie domaine théorème Gödel induction sémantique opérationnelle sémantique langage programmation langage programmation sémantique formelle Langages de programmation / Sémantique Programmeertalen gtt Semantiek gtt Langages de programmation / Sémantique ram Formale Semantik swd Programming languages (Electronic computers) / Semantics fast Semantik Programming languages (Electronic computers) Semantics Formale Semantik (DE-588)4122144-8 gnd Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Semántica programmation parallèle sémantique dénotationnelle lambda calcul récursion équation récursive théorie domaine théorème Gödel induction sémantique opérationnelle sémantique langage programmation langage programmation sémantique formelle Langages de programmation / Sémantique Programmeertalen Semantiek Formale Semantik Programming languages (Electronic computers) / Semantics Semantik Programming languages (Electronic computers) Semantics Programmiersprache Einführung |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 |
| work_keys_str_mv | AT winskelgglynn theformalsemanticsofprogramminglanguagesanintroduction |