Proving termination of parallel programs:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam
1990
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS
90,16 |
| Schlagwörter: | |
| Links: | https://ir.cwi.nl/pub/5735 |
| Abstract: | Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it." |
| Umfang: | 7 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974454 | ||
| 003 | DE-604 | ||
| 005 | 20220207 | ||
| 007 | t| | ||
| 008 | 940206s1990 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)23958411 | ||
| 035 | |a (DE-599)BVBBV008974454 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Apt, Krzysztof R. |d 1949- |e Verfasser |0 (DE-588)110139763 |4 aut | |
| 245 | 1 | 0 | |a Proving termination of parallel programs |c K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 7 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,16 | |
| 520 | 3 | |a Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it." | |
| 650 | 4 | |a Computer programs |x Verification | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 700 | 1 | |a Boer, Frank S. de |e Verfasser |4 aut | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |e Verfasser |0 (DE-588)136626890 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,16 |w (DE-604)BV008928356 |9 90,16 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5735 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005926028 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2610010 |
|---|---|
| _version_ | 1821936251412938752 |
| any_adam_object | |
| author | Apt, Krzysztof R. 1949- Boer, Frank S. de Olderog, Ernst-Rüdiger 1955- |
| author_GND | (DE-588)110139763 (DE-588)136626890 |
| author_facet | Apt, Krzysztof R. 1949- Boer, Frank S. de Olderog, Ernst-Rüdiger 1955- |
| author_role | aut aut aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra f s d b fsd fsdb e r o ero |
| building | Verbundindex |
| bvnumber | BV008974454 |
| collection | ebook |
| ctrlnum | (OCoLC)23958411 (DE-599)BVBBV008974454 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01624nam a2200361 cb4500</leader><controlfield tag="001">BV008974454</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220207 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940206s1990 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23958411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974454</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-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proving termination of parallel programs</subfield><subfield code="c">K. R. Apt ; F. S. de Boer ; E.-R. Olderog</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">7 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="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,16</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boer, Frank S. de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,16</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,16</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5735</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926028</subfield></datafield></record></collection> |
| id | DE-604.BV008974454 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:29:45Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005926028 |
| oclc_num | 23958411 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 7 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| spellingShingle | Apt, Krzysztof R. 1949- Boer, Frank S. de Olderog, Ernst-Rüdiger 1955- Proving termination of parallel programs Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS Computer programs Verification Parallel programming (Computer science) |
| title | Proving termination of parallel programs |
| title_auth | Proving termination of parallel programs |
| title_exact_search | Proving termination of parallel programs |
| title_full | Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| title_fullStr | Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| title_full_unstemmed | Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| title_short | Proving termination of parallel programs |
| title_sort | proving termination of parallel programs |
| topic | Computer programs Verification Parallel programming (Computer science) |
| topic_facet | Computer programs Verification Parallel programming (Computer science) |
| url | https://ir.cwi.nl/pub/5735 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT aptkrzysztofr provingterminationofparallelprograms AT boerfranksde provingterminationofparallelprograms AT olderogernstrudiger provingterminationofparallelprograms |