Lazy functional languages: abstract interpretation and compilation
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
Pitman
1991
|
| Schriftenreihe: | Research monographs in parallel and distributed computing
|
| Schlagworte: | |
| Online-Zugang: | FHA01 FHI01 Volltext |
| Beschreibung: | Includes bibliographical references (pages 213-223) and index |
| Beschreibung: | 1 Online-Ressource (238 pages) |
| ISBN: | 0262255871 0262521601 9780262255875 9780262521604 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509048 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1991 |||| o||u| ||||||eng d | ||
| 020 | |a 0262255871 |c electronic bk. |9 0-262-25587-1 | ||
| 020 | |a 0262521601 |9 0-262-52160-1 | ||
| 020 | |a 9780262255875 |c electronic bk. |9 978-0-262-25587-5 | ||
| 020 | |a 9780262521604 |9 978-0-262-52160-4 | ||
| 035 | |a (OCoLC)809565723 | ||
| 035 | |a (DE-599)BVBBV042509048 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Burn, Geoffrey |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lazy functional languages |b abstract interpretation and compilation |c Geoffrey Burn |
| 264 | 1 | |a London |b Pitman |c 1991 | |
| 300 | |a 1 Online-Ressource (238 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Research monographs in parallel and distributed computing | |
| 500 | |a Includes bibliographical references (pages 213-223) and index | ||
| 650 | 4 | |a Computer systems / Functional programming / Programming languages | |
| 650 | 4 | |a compilation | |
| 650 | 4 | |a G-machine | |
| 650 | 4 | |a interprétation abstraite | |
| 650 | 4 | |a lambda calcul | |
| 650 | 4 | |a programmation fonctionnelle | |
| 650 | 4 | |a langage fonctionnel | |
| 650 | 4 | |a Langages de programmation fonctionnels | |
| 650 | 4 | |a Programmation fonctionnelle | |
| 650 | 7 | |a Functional programming languages |2 fast | |
| 650 | 7 | |a Langages de programmation fonctionnelle |2 ram | |
| 650 | 7 | |a Funktionale Programmiersprache |2 swd | |
| 650 | 4 | |a Functional programming languages | |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 0-273-08832-7 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-0-273-08832-5 |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234 |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-027943612 | ||
| 883 | 1 | |8 1\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=6267234 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804153253151113216 |
|---|---|
| any_adam_object | |
| author | Burn, Geoffrey |
| author_facet | Burn, Geoffrey |
| author_role | aut |
| author_sort | Burn, Geoffrey |
| author_variant | g b gb |
| building | Verbundindex |
| bvnumber | BV042509048 |
| classification_rvk | ST 240 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)809565723 (DE-599)BVBBV042509048 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02556nmm a2200625zc 4500</leader><controlfield tag="001">BV042509048</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1991 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262255871</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-25587-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262521601</subfield><subfield code="9">0-262-52160-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262255875</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-25587-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262521604</subfield><subfield code="9">978-0-262-52160-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)809565723</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509048</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.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Burn, Geoffrey</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Lazy functional languages</subfield><subfield code="b">abstract interpretation and compilation</subfield><subfield code="c">Geoffrey Burn</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Pitman</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (238 pages)</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">Research monographs in parallel and distributed computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 213-223) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems / Functional programming / Programming languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">compilation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">G-machine</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">interprétation abstraite</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">lambda calcul</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation fonctionnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">langage fonctionnel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation fonctionnels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation fonctionnelle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functional programming languages</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation fonctionnelle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming languages</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">0-273-08832-7</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-0-273-08832-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234</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-027943612</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="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234</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=6267234</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> |
| id | DE-604.BV042509048 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262255871 0262521601 9780262255875 9780262521604 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943612 |
| oclc_num | 809565723 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (238 pages) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Pitman |
| record_format | marc |
| series2 | Research monographs in parallel and distributed computing |
| spelling | Burn, Geoffrey Verfasser aut Lazy functional languages abstract interpretation and compilation Geoffrey Burn London Pitman 1991 1 Online-Ressource (238 pages) txt rdacontent c rdamedia cr rdacarrier Research monographs in parallel and distributed computing Includes bibliographical references (pages 213-223) and index Computer systems / Functional programming / Programming languages compilation G-machine interprétation abstraite lambda calcul programmation fonctionnelle langage fonctionnel Langages de programmation fonctionnels Programmation fonctionnelle Functional programming languages fast Langages de programmation fonctionnelle ram Funktionale Programmiersprache swd Functional programming languages Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, Paperback 0-273-08832-7 Erscheint auch als Druck-Ausgabe, Paperback 978-0-273-08832-5 http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Burn, Geoffrey Lazy functional languages abstract interpretation and compilation Computer systems / Functional programming / Programming languages compilation G-machine interprétation abstraite lambda calcul programmation fonctionnelle langage fonctionnel Langages de programmation fonctionnels Programmation fonctionnelle Functional programming languages fast Langages de programmation fonctionnelle ram Funktionale Programmiersprache swd Functional programming languages Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| subject_GND | (DE-588)4129948-6 |
| title | Lazy functional languages abstract interpretation and compilation |
| title_auth | Lazy functional languages abstract interpretation and compilation |
| title_exact_search | Lazy functional languages abstract interpretation and compilation |
| title_full | Lazy functional languages abstract interpretation and compilation Geoffrey Burn |
| title_fullStr | Lazy functional languages abstract interpretation and compilation Geoffrey Burn |
| title_full_unstemmed | Lazy functional languages abstract interpretation and compilation Geoffrey Burn |
| title_short | Lazy functional languages |
| title_sort | lazy functional languages abstract interpretation and compilation |
| title_sub | abstract interpretation and compilation |
| topic | Computer systems / Functional programming / Programming languages compilation G-machine interprétation abstraite lambda calcul programmation fonctionnelle langage fonctionnel Langages de programmation fonctionnels Programmation fonctionnelle Functional programming languages fast Langages de programmation fonctionnelle ram Funktionale Programmiersprache swd Functional programming languages Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| topic_facet | Computer systems / Functional programming / Programming languages compilation G-machine interprétation abstraite lambda calcul programmation fonctionnelle langage fonctionnel Langages de programmation fonctionnels Programmation fonctionnelle Functional programming languages Langages de programmation fonctionnelle Funktionale Programmiersprache |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234 |
| work_keys_str_mv | AT burngeoffrey lazyfunctionallanguagesabstractinterpretationandcompilation |