Rendez-vous with metric semantics:
Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create n...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1991
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
91,35 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create new processes, and (ii) rendez-vous between processes involving the sending and answering of messages and the induced execution of method calls. The methodology of metric semantics is applied in the design of operational and denotational semantics, as well as in the proof of their equivalence. Both semantics employ domains which are determined as fixed points of a contracting functor in the category of complete metric spaces Moreover, fruitful use is made of the technique of defining semantic meaning functions as fixed points of contracting higher-order mappings. Finally, syntactic and semantic continuations play a pervasive role. |
| Beschreibung: | 29 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008992678 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)25511940 | ||
| 035 | |a (DE-599)BVBBV008992678 | ||
| 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 Rendez-vous with metric semantics |c J. W. de Bakker ; E. P. de Vink |
| 264 | 1 | |a Amsterdam |c 1991 | |
| 300 | |a 29 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 91,35 | |
| 520 | 3 | |a Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create new processes, and (ii) rendez-vous between processes involving the sending and answering of messages and the induced execution of method calls. The methodology of metric semantics is applied in the design of operational and denotational semantics, as well as in the proof of their equivalence. Both semantics employ domains which are determined as fixed points of a contracting functor in the category of complete metric spaces | |
| 520 | 3 | |a Moreover, fruitful use is made of the technique of defining semantic meaning functions as fixed points of contracting higher-order mappings. Finally, syntactic and semantic continuations play a pervasive role. | |
| 650 | 4 | |a Concurrent programming | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Semantics | |
| 700 | 1 | |a Vink, E. P. de |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 91,35 |w (DE-604)BV008928356 |9 91,35 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005941600 | ||
Datensatz im Suchindex
| _version_ | 1804123335129300992 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 Vink, E. P. de |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 Vink, E. P. de |
| author_role | aut aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb e p d v epd epdv |
| building | Verbundindex |
| bvnumber | BV008992678 |
| ctrlnum | (OCoLC)25511940 (DE-599)BVBBV008992678 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02080nam a2200337 cb4500</leader><controlfield tag="001">BV008992678</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25511940</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008992678</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">Rendez-vous with metric semantics</subfield><subfield code="c">J. W. de Bakker ; E. P. de Vink</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">29 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">91,35</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create new processes, and (ii) rendez-vous between processes involving the sending and answering of messages and the induced execution of method calls. The methodology of metric semantics is applied in the design of operational and denotational semantics, as well as in the proof of their equivalence. Both semantics employ domains which are determined as fixed points of a contracting functor in the category of complete metric spaces</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Moreover, fruitful use is made of the technique of defining semantic meaning functions as fixed points of contracting higher-order mappings. Finally, syntactic and semantic continuations play a pervasive role.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Concurrent programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vink, E. P. 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">91,35</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">91,35</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005941600</subfield></datafield></record></collection> |
| id | DE-604.BV008992678 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:08Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005941600 |
| oclc_num | 25511940 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 29 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| 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 Rendez-vous with metric semantics J. W. de Bakker ; E. P. de Vink Amsterdam 1991 29 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 91,35 Abstract: "A comparative semantic study is made of an element of the family of concurrent object-oriented programming languages. Particular attention is paid to two notions: (i) dynamically evolving process structures, including a mechanism to name and refer to processes and a means to create new processes, and (ii) rendez-vous between processes involving the sending and answering of messages and the induced execution of method calls. The methodology of metric semantics is applied in the design of operational and denotational semantics, as well as in the proof of their equivalence. Both semantics employ domains which are determined as fixed points of a contracting functor in the category of complete metric spaces Moreover, fruitful use is made of the technique of defining semantic meaning functions as fixed points of contracting higher-order mappings. Finally, syntactic and semantic continuations play a pervasive role. Concurrent programming Object-oriented programming (Computer science) Semantics Vink, E. P. de Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 91,35 (DE-604)BV008928356 91,35 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Vink, E. P. de Rendez-vous with metric semantics Concurrent programming Object-oriented programming (Computer science) Semantics |
| title | Rendez-vous with metric semantics |
| title_auth | Rendez-vous with metric semantics |
| title_exact_search | Rendez-vous with metric semantics |
| title_full | Rendez-vous with metric semantics J. W. de Bakker ; E. P. de Vink |
| title_fullStr | Rendez-vous with metric semantics J. W. de Bakker ; E. P. de Vink |
| title_full_unstemmed | Rendez-vous with metric semantics J. W. de Bakker ; E. P. de Vink |
| title_short | Rendez-vous with metric semantics |
| title_sort | rendez vous with metric semantics |
| topic | Concurrent programming Object-oriented programming (Computer science) Semantics |
| topic_facet | Concurrent programming Object-oriented programming (Computer science) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bakkerjacobuswde rendezvouswithmetricsemantics AT vinkepde rendezvouswithmetricsemantics |