Call-By-Push-Value: A Functional/Imperative Synthesis
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantic...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2003
|
| Ausgabe: | 1st ed. 2003 |
| Schriftenreihe: | Semantics Structures in Computation
2 |
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games |
| Beschreibung: | 1 Online-Ressource (XLI, 352 p) |
| ISBN: | 9789400709546 |
| DOI: | 10.1007/978-94-007-0954-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047064915 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9789400709546 |9 978-94-007-0954-6 | ||
| 024 | 7 | |a 10.1007/978-94-007-0954-6 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-94-007-0954-6 | ||
| 035 | |a (OCoLC)1227481732 | ||
| 035 | |a (DE-599)BVBBV047064915 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 100 | 1 | |a Levy, P.B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Call-By-Push-Value |b A Functional/Imperative Synthesis |c by P.B. Levy |
| 250 | |a 1st ed. 2003 | ||
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2003 | |
| 300 | |a 1 Online-Ressource (XLI, 352 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Semantics Structures in Computation |v 2 | |
| 520 | |a Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games | ||
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Category Theory, Homological Algebra | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 4 | |a Category theory (Mathematics) | |
| 650 | 4 | |a Homological algebra | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789401037525 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402017308 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789400709553 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-007-0954-6 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032472027 | ||
| 966 | e | |u https://doi.org/10.1007/978-94-007-0954-6 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182063563145216 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Levy, P.B |
| author_facet | Levy, P.B |
| author_role | aut |
| author_sort | Levy, P.B |
| author_variant | p l pl |
| building | Verbundindex |
| bvnumber | BV047064915 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-94-007-0954-6 (OCoLC)1227481732 (DE-599)BVBBV047064915 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-94-007-0954-6 |
| edition | 1st ed. 2003 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02182nmm a2200493zcb4500</leader><controlfield tag="001">BV047064915</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400709546</subfield><subfield code="9">978-94-007-0954-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-007-0954-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-94-007-0954-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227481732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064915</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-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Levy, P.B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Call-By-Push-Value</subfield><subfield code="b">A Functional/Imperative Synthesis</subfield><subfield code="c">by P.B. Levy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2003</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XLI, 352 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">Semantics Structures in Computation</subfield><subfield code="v">2</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category Theory, Homological Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category theory (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Homological algebra</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789401037525</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781402017308</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789400709553</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-007-0954-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032472027</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-0954-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064915 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:36Z |
| institution | BVB |
| isbn | 9789400709546 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032472027 |
| oclc_num | 1227481732 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XLI, 352 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Semantics Structures in Computation |
| spelling | Levy, P.B. Verfasser aut Call-By-Push-Value A Functional/Imperative Synthesis by P.B. Levy 1st ed. 2003 Dordrecht Springer Netherlands 2003 1 Online-Ressource (XLI, 352 p) txt rdacontent c rdamedia cr rdacarrier Semantics Structures in Computation 2 Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games Programming Languages, Compilers, Interpreters Mathematics of Computing Category Theory, Homological Algebra Programming languages (Electronic computers) Computer science—Mathematics Category theory (Mathematics) Homological algebra Erscheint auch als Druck-Ausgabe 9789401037525 Erscheint auch als Druck-Ausgabe 9781402017308 Erscheint auch als Druck-Ausgabe 9789400709553 https://doi.org/10.1007/978-94-007-0954-6 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Levy, P.B Call-By-Push-Value A Functional/Imperative Synthesis Programming Languages, Compilers, Interpreters Mathematics of Computing Category Theory, Homological Algebra Programming languages (Electronic computers) Computer science—Mathematics Category theory (Mathematics) Homological algebra |
| title | Call-By-Push-Value A Functional/Imperative Synthesis |
| title_auth | Call-By-Push-Value A Functional/Imperative Synthesis |
| title_exact_search | Call-By-Push-Value A Functional/Imperative Synthesis |
| title_exact_search_txtP | Call-By-Push-Value A Functional/Imperative Synthesis |
| title_full | Call-By-Push-Value A Functional/Imperative Synthesis by P.B. Levy |
| title_fullStr | Call-By-Push-Value A Functional/Imperative Synthesis by P.B. Levy |
| title_full_unstemmed | Call-By-Push-Value A Functional/Imperative Synthesis by P.B. Levy |
| title_short | Call-By-Push-Value |
| title_sort | call by push value a functional imperative synthesis |
| title_sub | A Functional/Imperative Synthesis |
| topic | Programming Languages, Compilers, Interpreters Mathematics of Computing Category Theory, Homological Algebra Programming languages (Electronic computers) Computer science—Mathematics Category theory (Mathematics) Homological algebra |
| topic_facet | Programming Languages, Compilers, Interpreters Mathematics of Computing Category Theory, Homological Algebra Programming languages (Electronic computers) Computer science—Mathematics Category theory (Mathematics) Homological algebra |
| url | https://doi.org/10.1007/978-94-007-0954-6 |
| work_keys_str_mv | AT levypb callbypushvalueafunctionalimperativesynthesis |