Isomorphisms between predicate and state transformers:
Abstract: "We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like 'predicate', 'liveness', 'safety' and 'predicate transformers' are formulated in a topological setting. We trea...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1993
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
93,38 |
| Subjects: | |
| Summary: | Abstract: "We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like 'predicate', 'liveness', 'safety' and 'predicate transformers' are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin powerdomains and consider continuous, monotonic and unrestricted functions. We relate the transformers by isomorphisms thereby extending and completing earlier results and giving a complete picture of all the relationships." |
| Physical Description: | 30 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009034606 | ||
| 003 | DE-604 | ||
| 005 | 20090216 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31129793 | ||
| 035 | |a (DE-599)BVBBV009034606 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bonsangue, Marcello M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Isomorphisms between predicate and state transformers |c M. Bonsangue, J. N. Kok |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 30 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 93,38 | |
| 520 | 3 | |a Abstract: "We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like 'predicate', 'liveness', 'safety' and 'predicate transformers' are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin powerdomains and consider continuous, monotonic and unrestricted functions. We relate the transformers by isomorphisms thereby extending and completing earlier results and giving a complete picture of all the relationships." | |
| 650 | 4 | |a Computer programming | |
| 700 | 1 | |a Kok, Joost N. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,38 |w (DE-604)BV008928356 |9 93,38 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005977158 | ||
Record in the Search Index
| _version_ | 1804123388018425856 |
|---|---|
| any_adam_object | |
| author | Bonsangue, Marcello M. Kok, Joost N. |
| author_facet | Bonsangue, Marcello M. Kok, Joost N. |
| author_role | aut aut |
| author_sort | Bonsangue, Marcello M. |
| author_variant | m m b mm mmb j n k jn jnk |
| building | Verbundindex |
| bvnumber | BV009034606 |
| ctrlnum | (OCoLC)31129793 (DE-599)BVBBV009034606 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01560nam a2200301 cb4500</leader><controlfield tag="001">BV009034606</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31129793</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009034606</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></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bonsangue, Marcello M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Isomorphisms between predicate and state transformers</subfield><subfield code="c">M. Bonsangue, J. N. Kok</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">30 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">93,38</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like 'predicate', 'liveness', 'safety' and 'predicate transformers' are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin powerdomains and consider continuous, monotonic and unrestricted functions. We relate the transformers by isomorphisms thereby extending and completing earlier results and giving a complete picture of all the relationships."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kok, Joost N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">93,38</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,38</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005977158</subfield></datafield></record></collection> |
| id | DE-604.BV009034606 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005977158 |
| oclc_num | 31129793 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 30 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bonsangue, Marcello M. Verfasser aut Isomorphisms between predicate and state transformers M. Bonsangue, J. N. Kok Amsterdam 1993 30 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,38 Abstract: "We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like 'predicate', 'liveness', 'safety' and 'predicate transformers' are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin powerdomains and consider continuous, monotonic and unrestricted functions. We relate the transformers by isomorphisms thereby extending and completing earlier results and giving a complete picture of all the relationships." Computer programming Kok, Joost N. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,38 (DE-604)BV008928356 93,38 |
| spellingShingle | Bonsangue, Marcello M. Kok, Joost N. Isomorphisms between predicate and state transformers Computer programming |
| title | Isomorphisms between predicate and state transformers |
| title_auth | Isomorphisms between predicate and state transformers |
| title_exact_search | Isomorphisms between predicate and state transformers |
| title_full | Isomorphisms between predicate and state transformers M. Bonsangue, J. N. Kok |
| title_fullStr | Isomorphisms between predicate and state transformers M. Bonsangue, J. N. Kok |
| title_full_unstemmed | Isomorphisms between predicate and state transformers M. Bonsangue, J. N. Kok |
| title_short | Isomorphisms between predicate and state transformers |
| title_sort | isomorphisms between predicate and state transformers |
| topic | Computer programming |
| topic_facet | Computer programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bonsanguemarcellom isomorphismsbetweenpredicateandstatetransformers AT kokjoostn isomorphismsbetweenpredicateandstatetransformers |