Comparative semantics for linear arrays of communicating processes:
Abstract: "Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands. Taking a simple while language as starting point, a number of programming constructs are added which achieve that a program can generate a dyna...
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,36 |
| Subjects: | |
| Summary: | Abstract: "Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands. Taking a simple while language as starting point, a number of programming constructs are added which achieve that a program can generate a dynamically evolving linear array of processes connected by channels. Over these channels sequences of values ('streams') are transmitted. Both O and D are defined as (unique) fixed point of a contractive higher order operator. This allows a smooth proof that O and D are equivalent. Additional features are the use of hiatons, and of the closely related syntactic resumptions and semantic continuations." |
| Physical Description: | 14 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009034599 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)31129788 | ||
| 035 | |a (DE-599)BVBBV009034599 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Verfasser |0 (DE-588)1047965461 |4 aut | |
| 245 | 1 | 0 | |a Comparative semantics for linear arrays of communicating processes |c J. W. de Bakker ; F. van Breugel ; A. de Bruin |
| 264 | 1 | |a Amsterdam |c 1993 | |
| 300 | |a 14 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,36 | |
| 520 | 3 | |a Abstract: "Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands. Taking a simple while language as starting point, a number of programming constructs are added which achieve that a program can generate a dynamically evolving linear array of processes connected by channels. Over these channels sequences of values ('streams') are transmitted. Both O and D are defined as (unique) fixed point of a contractive higher order operator. This allows a smooth proof that O and D are equivalent. Additional features are the use of hiatons, and of the closely related syntactic resumptions and semantic continuations." | |
| 650 | 4 | |a Computer programming | |
| 700 | 1 | |a Breugel, Franck van |e Verfasser |4 aut | |
| 700 | 1 | |a Bruin, A. de |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 93,36 |w (DE-604)BV008928356 |9 93,36 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005977151 | ||
Record in the Search Index
| _version_ | 1804123387998502912 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 Breugel, Franck van Bruin, A. de |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 Breugel, Franck van Bruin, A. de |
| author_role | aut aut aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb f v b fv fvb a d b ad adb |
| building | Verbundindex |
| bvnumber | BV009034599 |
| ctrlnum | (OCoLC)31129788 (DE-599)BVBBV009034599 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01835nam a2200313 cb4500</leader><controlfield tag="001">BV009034599</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31129788</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009034599</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">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Comparative semantics for linear arrays of communicating processes</subfield><subfield code="c">J. W. de Bakker ; F. van Breugel ; A. de Bruin</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">14 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,36</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands. Taking a simple while language as starting point, a number of programming constructs are added which achieve that a program can generate a dynamically evolving linear array of processes connected by channels. Over these channels sequences of values ('streams') are transmitted. Both O and D are defined as (unique) fixed point of a contractive higher order operator. This allows a smooth proof that O and D are equivalent. Additional features are the use of hiatons, and of the closely related syntactic resumptions and semantic continuations."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Breugel, Franck van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bruin, A. de</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,36</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">93,36</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005977151</subfield></datafield></record></collection> |
| id | DE-604.BV009034599 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005977151 |
| oclc_num | 31129788 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 14 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bakker, Jacobus W. de 1939-2012 Verfasser (DE-588)1047965461 aut Comparative semantics for linear arrays of communicating processes J. W. de Bakker ; F. van Breugel ; A. de Bruin Amsterdam 1993 14 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 93,36 Abstract: "Operational (O) and denotational (D) semantic models are designed for a language incorporating a version of the UNIX fork and pipe commands. Taking a simple while language as starting point, a number of programming constructs are added which achieve that a program can generate a dynamically evolving linear array of processes connected by channels. Over these channels sequences of values ('streams') are transmitted. Both O and D are defined as (unique) fixed point of a contractive higher order operator. This allows a smooth proof that O and D are equivalent. Additional features are the use of hiatons, and of the closely related syntactic resumptions and semantic continuations." Computer programming Breugel, Franck van Verfasser aut Bruin, A. de Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 93,36 (DE-604)BV008928356 93,36 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Breugel, Franck van Bruin, A. de Comparative semantics for linear arrays of communicating processes Computer programming |
| title | Comparative semantics for linear arrays of communicating processes |
| title_auth | Comparative semantics for linear arrays of communicating processes |
| title_exact_search | Comparative semantics for linear arrays of communicating processes |
| title_full | Comparative semantics for linear arrays of communicating processes J. W. de Bakker ; F. van Breugel ; A. de Bruin |
| title_fullStr | Comparative semantics for linear arrays of communicating processes J. W. de Bakker ; F. van Breugel ; A. de Bruin |
| title_full_unstemmed | Comparative semantics for linear arrays of communicating processes J. W. de Bakker ; F. van Breugel ; A. de Bruin |
| title_short | Comparative semantics for linear arrays of communicating processes |
| title_sort | comparative semantics for linear arrays of communicating processes |
| topic | Computer programming |
| topic_facet | Computer programming |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bakkerjacobuswde comparativesemanticsforlineararraysofcommunicatingprocesses AT breugelfranckvan comparativesemanticsforlineararraysofcommunicatingprocesses AT bruinade comparativesemanticsforlineararraysofcommunicatingprocesses |