A Discipline of Multiprogramming: Programming Theory for Distributed Applications
In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seu...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
New York, NY
Springer New York
2001
|
| Ausgabe: | 1st ed. 2001 |
| Schriftenreihe: | Monographs in Computer Science
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-1-4419-8528-6 https://doi.org/10.1007/978-1-4419-8528-6 |
| Zusammenfassung: | In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution |
| Umfang: | 1 Online-Ressource (XVIII, 420 p) |
| ISBN: | 9781441985286 |
| DOI: | 10.1007/978-1-4419-8528-6 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064856 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2001 xx o|||| 00||| eng d | ||
| 020 | |a 9781441985286 |9 978-1-4419-8528-6 | ||
| 024 | 7 | |a 10.1007/978-1-4419-8528-6 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4419-8528-6 | ||
| 035 | |a (OCoLC)1227480908 | ||
| 035 | |a (DE-599)BVBBV047064856 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Misra, Jayadev |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A Discipline of Multiprogramming |b Programming Theory for Distributed Applications |c by Jayadev Misra |
| 250 | |a 1st ed. 2001 | ||
| 264 | 1 | |a New York, NY |b Springer New York |c 2001 | |
| 300 | |a 1 Online-Ressource (XVIII, 420 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Monographs in Computer Science | |
| 520 | |a In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution | ||
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 0 | 7 | |a Weitverkehrsnetz |0 (DE-588)4294149-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehrprogrammbetrieb |0 (DE-588)4169318-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Weitverkehrsnetz |0 (DE-588)4294149-0 |D s |
| 689 | 0 | 1 | |a Mehrprogrammbetrieb |0 (DE-588)4169318-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | 1 | |a Mehrprogrammbetrieb |0 (DE-588)4169318-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461264279 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780387952062 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781441985293 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4419-8528-6 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032471968 | |
| 966 | e | |u https://doi.org/10.1007/978-1-4419-8528-6 |l DE-706 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818987568316809216 |
|---|---|
| any_adam_object | |
| author | Misra, Jayadev |
| author_facet | Misra, Jayadev |
| author_role | aut |
| author_sort | Misra, Jayadev |
| author_variant | j m jm |
| building | Verbundindex |
| bvnumber | BV047064856 |
| classification_rvk | ST 230 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4419-8528-6 (OCoLC)1227480908 (DE-599)BVBBV047064856 |
| 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 |
| doi_str_mv | 10.1007/978-1-4419-8528-6 |
| edition | 1st ed. 2001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03089nam a2200577zc 4500</leader><controlfield tag="001">BV047064856</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441985286</subfield><subfield code="9">978-1-4419-8528-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4419-8528-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4419-8528-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480908</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064856</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.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Misra, Jayadev</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Discipline of Multiprogramming</subfield><subfield code="b">Programming Theory for Distributed Applications</subfield><subfield code="c">by Jayadev Misra</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 420 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">Monographs in Computer Science</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Weitverkehrsnetz</subfield><subfield code="0">(DE-588)4294149-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrprogrammbetrieb</subfield><subfield code="0">(DE-588)4169318-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Weitverkehrsnetz</subfield><subfield code="0">(DE-588)4294149-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mehrprogrammbetrieb</subfield><subfield code="0">(DE-588)4169318-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mehrprogrammbetrieb</subfield><subfield code="0">(DE-588)4169318-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><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</subfield><subfield code="z">9781461264279</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">9780387952062</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">9781441985293</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4419-8528-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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471968</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4419-8528-6</subfield><subfield code="l">DE-706</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.BV047064856 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T19:08:45Z |
| institution | BVB |
| isbn | 9781441985286 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471968 |
| oclc_num | 1227480908 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XVIII, 420 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer New York |
| record_format | marc |
| series2 | Monographs in Computer Science |
| spelling | Misra, Jayadev Verfasser aut A Discipline of Multiprogramming Programming Theory for Distributed Applications by Jayadev Misra 1st ed. 2001 New York, NY Springer New York 2001 1 Online-Ressource (XVIII, 420 p) txt rdacontent c rdamedia cr rdacarrier Monographs in Computer Science In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution Software Engineering/Programming and Operating Systems Computer Communication Networks Software engineering Computer communication systems Weitverkehrsnetz (DE-588)4294149-0 gnd rswk-swf Mehrprogrammbetrieb (DE-588)4169318-8 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Weitverkehrsnetz (DE-588)4294149-0 s Mehrprogrammbetrieb (DE-588)4169318-8 s DE-604 Verteiltes System (DE-588)4238872-7 s Erscheint auch als Druck-Ausgabe 9781461264279 Erscheint auch als Druck-Ausgabe 9780387952062 Erscheint auch als Druck-Ausgabe 9781441985293 https://doi.org/10.1007/978-1-4419-8528-6 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Misra, Jayadev A Discipline of Multiprogramming Programming Theory for Distributed Applications Software Engineering/Programming and Operating Systems Computer Communication Networks Software engineering Computer communication systems Weitverkehrsnetz (DE-588)4294149-0 gnd Mehrprogrammbetrieb (DE-588)4169318-8 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4294149-0 (DE-588)4169318-8 (DE-588)4238872-7 |
| title | A Discipline of Multiprogramming Programming Theory for Distributed Applications |
| title_auth | A Discipline of Multiprogramming Programming Theory for Distributed Applications |
| title_exact_search | A Discipline of Multiprogramming Programming Theory for Distributed Applications |
| title_full | A Discipline of Multiprogramming Programming Theory for Distributed Applications by Jayadev Misra |
| title_fullStr | A Discipline of Multiprogramming Programming Theory for Distributed Applications by Jayadev Misra |
| title_full_unstemmed | A Discipline of Multiprogramming Programming Theory for Distributed Applications by Jayadev Misra |
| title_short | A Discipline of Multiprogramming |
| title_sort | a discipline of multiprogramming programming theory for distributed applications |
| title_sub | Programming Theory for Distributed Applications |
| topic | Software Engineering/Programming and Operating Systems Computer Communication Networks Software engineering Computer communication systems Weitverkehrsnetz (DE-588)4294149-0 gnd Mehrprogrammbetrieb (DE-588)4169318-8 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Software Engineering/Programming and Operating Systems Computer Communication Networks Software engineering Computer communication systems Weitverkehrsnetz Mehrprogrammbetrieb Verteiltes System |
| url | https://doi.org/10.1007/978-1-4419-8528-6 |
| work_keys_str_mv | AT misrajayadev adisciplineofmultiprogrammingprogrammingtheoryfordistributedapplications |