A layered semantics for a parallel object-oriented language:
Abstract: "We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the seman...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1990
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
90,52 |
| Subjects: | |
| Online Access: | Volltext |
| Summary: | Abstract: "We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, for objects, and for programs. For each of these levels we define a specialized mathematical domain of process, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP. |
| Physical Description: | 42 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974419 | ||
| 003 | DE-604 | ||
| 005 | 20220228 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24924092 | ||
| 035 | |a (DE-599)BVBBV008974419 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a America, Pierre |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A layered semantics for a parallel object-oriented language |c P. H. M. America ; J. J. M. M. Rutten |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 42 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,52 | |
| 520 | 3 | |a Abstract: "We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, for objects, and for programs. For each of these levels we define a specialized mathematical domain of process, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains | |
| 520 | 3 | |a At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP. | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Semantics | |
| 700 | 1 | |a Rutten, Jan |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 90,52 |w (DE-604)BV008928356 |9 90,52 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5661 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005925993 | ||
Record in the Search Index
| _version_ | 1804123312438116352 |
|---|---|
| any_adam_object | |
| author | America, Pierre Rutten, Jan |
| author_facet | America, Pierre Rutten, Jan |
| author_role | aut aut |
| author_sort | America, Pierre |
| author_variant | p a pa j r jr |
| building | Verbundindex |
| bvnumber | BV008974419 |
| collection | ebook |
| ctrlnum | (OCoLC)24924092 (DE-599)BVBBV008974419 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02273nam a2200373 cb4500</leader><controlfield tag="001">BV008974419</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220228 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24924092</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974419</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">America, Pierre</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A layered semantics for a parallel object-oriented language</subfield><subfield code="c">P. H. M. America ; J. J. M. M. Rutten</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">42 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,52</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, for objects, and for programs. For each of these levels we define a specialized mathematical domain of process, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP.</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">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rutten, Jan</subfield><subfield code="e">Verfasser</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="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">90,52</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,52</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5661</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005925993</subfield></datafield></record></collection> |
| id | DE-604.BV008974419 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005925993 |
| oclc_num | 24924092 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 42 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | America, Pierre Verfasser aut A layered semantics for a parallel object-oriented language P. H. M. America ; J. J. M. M. Rutten Amsterdam 1990 42 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 90,52 Abstract: "We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, for objects, and for programs. For each of these levels we define a specialized mathematical domain of process, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP. Object-oriented programming (Computer science) Parallel processing (Electronic computers) Semantics Rutten, Jan Verfasser aut Erscheint auch als Online-Ausgabe Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 90,52 (DE-604)BV008928356 90,52 https://ir.cwi.nl/pub/5661 Verlag kostenfrei Volltext |
| spellingShingle | America, Pierre Rutten, Jan A layered semantics for a parallel object-oriented language Object-oriented programming (Computer science) Parallel processing (Electronic computers) Semantics |
| title | A layered semantics for a parallel object-oriented language |
| title_auth | A layered semantics for a parallel object-oriented language |
| title_exact_search | A layered semantics for a parallel object-oriented language |
| title_full | A layered semantics for a parallel object-oriented language P. H. M. America ; J. J. M. M. Rutten |
| title_fullStr | A layered semantics for a parallel object-oriented language P. H. M. America ; J. J. M. M. Rutten |
| title_full_unstemmed | A layered semantics for a parallel object-oriented language P. H. M. America ; J. J. M. M. Rutten |
| title_short | A layered semantics for a parallel object-oriented language |
| title_sort | a layered semantics for a parallel object oriented language |
| topic | Object-oriented programming (Computer science) Parallel processing (Electronic computers) Semantics |
| topic_facet | Object-oriented programming (Computer science) Parallel processing (Electronic computers) Semantics |
| url | https://ir.cwi.nl/pub/5661 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT americapierre alayeredsemanticsforaparallelobjectorientedlanguage AT ruttenjan alayeredsemanticsforaparallelobjectorientedlanguage |