Lazy functional languages: abstract interpretation and compilation
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Pitman u.a.
1991
|
| Edition: | 1. publ. |
| Series: | Research monographs in parallel and distributed computing
|
| Subjects: | |
| Item Description: | Literaturverz. S. 213 - 223 |
| Physical Description: | 238 S. |
| ISBN: | 0273088327 0262521601 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004665276 | ||
| 003 | DE-604 | ||
| 005 | 20050427 | ||
| 007 | t | ||
| 008 | 920109s1991 |||| 00||| eng d | ||
| 020 | |a 0273088327 |9 0-273-08832-7 | ||
| 020 | |a 0262521601 |9 0-262-52160-1 | ||
| 035 | |a (OCoLC)24703189 | ||
| 035 | |a (DE-599)BVBBV004665276 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-188 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 383f |2 stub | ||
| 084 | |a DAT 544f |2 stub | ||
| 100 | 1 | |a Burn, Geoffrey |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Lazy functional languages |b abstract interpretation and compilation |c Geoffrey Burn |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a London |b Pitman u.a. |c 1991 | |
| 300 | |a 238 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Research monographs in parallel and distributed computing | |
| 500 | |a Literaturverz. S. 213 - 223 | ||
| 650 | 7 | |a G-machine |2 inriac | |
| 650 | 7 | |a Langages de programmation fonctionnelle |2 ram | |
| 650 | 4 | |a Langages de programmation fonctionnels | |
| 650 | 4 | |a Programmation fonctionnelle | |
| 650 | 7 | |a compilation |2 inriac | |
| 650 | 7 | |a interprétation abstraite |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a langage fonctionnel |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 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 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002865992 | ||
Record in the Search Index
| _version_ | 1804118783953993728 |
|---|---|
| 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 | BV004665276 |
| 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 240 |
| classification_tum | DAT 383f DAT 544f |
| ctrlnum | (OCoLC)24703189 (DE-599)BVBBV004665276 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01711nam a2200517 c 4500</leader><controlfield tag="001">BV004665276</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920109s1991 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0273088327</subfield><subfield code="9">0-273-08832-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262521601</subfield><subfield code="9">0-262-52160-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24703189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004665276</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-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-188</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.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="084" ind1=" " ind2=" "><subfield code="a">DAT 383f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</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="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Pitman u.a.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">238 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">Research monographs in parallel and distributed computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 213 - 223</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">G-machine</subfield><subfield code="2">inriac</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="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">compilation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interprétation abstraite</subfield><subfield code="2">inriac</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">langage fonctionnel</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="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="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002865992</subfield></datafield></record></collection> |
| id | DE-604.BV004665276 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:15:47Z |
| institution | BVB |
| isbn | 0273088327 0262521601 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002865992 |
| oclc_num | 24703189 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-188 |
| physical | 238 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Pitman u.a. |
| 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 1. publ. London Pitman u.a. 1991 238 S. txt rdacontent n rdamedia nc rdacarrier Research monographs in parallel and distributed computing Literaturverz. S. 213 - 223 G-machine inriac Langages de programmation fonctionnelle ram Langages de programmation fonctionnels Programmation fonctionnelle compilation inriac interprétation abstraite inriac lambda calcul inriac langage fonctionnel inriac programmation fonctionnelle inriac Functional programming languages Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 s DE-604 |
| spellingShingle | Burn, Geoffrey Lazy functional languages abstract interpretation and compilation G-machine inriac Langages de programmation fonctionnelle ram Langages de programmation fonctionnels Programmation fonctionnelle compilation inriac interprétation abstraite inriac lambda calcul inriac langage fonctionnel inriac programmation fonctionnelle inriac 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 | G-machine inriac Langages de programmation fonctionnelle ram Langages de programmation fonctionnels Programmation fonctionnelle compilation inriac interprétation abstraite inriac lambda calcul inriac langage fonctionnel inriac programmation fonctionnelle inriac Functional programming languages Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| topic_facet | G-machine Langages de programmation fonctionnelle Langages de programmation fonctionnels Programmation fonctionnelle compilation interprétation abstraite lambda calcul langage fonctionnel programmation fonctionnelle Functional programming languages Funktionale Programmiersprache |
| work_keys_str_mv | AT burngeoffrey lazyfunctionallanguagesabstractinterpretationandcompilation |