A parallel object-oriented language: design and semantic foundations
Abstract: "The language POOL2 integrates the structuring mechanisms of object-oriented programming with facilities for parallel programming. We discuss the most important issues in the design of this language. In particular, we give an overview of the basic principles of object-oriented program...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1989
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
89,53 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The language POOL2 integrates the structuring mechanisms of object-oriented programming with facilities for parallel programming. We discuss the most important issues in the design of this language. In particular, we give an overview of the basic principles of object-oriented programming, and we compare several different ways of combining them with parallelism. The language is illustrated by a programming example. Then we define two kinds of formal semantics: an operational semantics based on transition systems and a denotational semantics, which uses the framework of complete metric spaces These two semantic models are found to be equivalent, in the sense that the operational semantics of a program can be recovered from its denotational semantics by applying an abstraction operation. The semantic techniques are introduced by applying them first to a simplified language. |
| Beschreibung: | 44 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008949489 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)22516818 | ||
| 035 | |a (DE-599)BVBBV008949489 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a America, Pierre |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A parallel object-oriented language |b design and semantic foundations |c P. H. M. America ; J. J. M. M. Rutten |
| 264 | 1 | |a Amsterdam |c 1989 | |
| 300 | |a 44 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 89,53 | |
| 520 | 3 | |a Abstract: "The language POOL2 integrates the structuring mechanisms of object-oriented programming with facilities for parallel programming. We discuss the most important issues in the design of this language. In particular, we give an overview of the basic principles of object-oriented programming, and we compare several different ways of combining them with parallelism. The language is illustrated by a programming example. Then we define two kinds of formal semantics: an operational semantics based on transition systems and a denotational semantics, which uses the framework of complete metric spaces | |
| 520 | 3 | |a These two semantic models are found to be equivalent, in the sense that the operational semantics of a program can be recovered from its denotational semantics by applying an abstraction operation. The semantic techniques are introduced by applying them first to a simplified language. | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 700 | 1 | |a Rutten, Jan J. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 89,53 |w (DE-604)BV008928356 |9 89,53 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005905146 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804123282593546240 |
|---|---|
| any_adam_object | |
| author | America, Pierre Rutten, Jan J. |
| author_facet | America, Pierre Rutten, Jan J. |
| author_role | aut aut |
| author_sort | America, Pierre |
| author_variant | p a pa j j r jj jjr |
| building | Verbundindex |
| bvnumber | BV008949489 |
| ctrlnum | (OCoLC)22516818 (DE-599)BVBBV008949489 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02197nam a2200349 cb4500</leader><controlfield tag="001">BV008949489</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22516818</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008949489</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">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 parallel object-oriented language</subfield><subfield code="b">design and semantic foundations</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">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">44 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">89,53</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The language POOL2 integrates the structuring mechanisms of object-oriented programming with facilities for parallel programming. We discuss the most important issues in the design of this language. In particular, we give an overview of the basic principles of object-oriented programming, and we compare several different ways of combining them with parallelism. The language is illustrated by a programming example. Then we define two kinds of formal semantics: an operational semantics based on transition systems and a denotational semantics, which uses the framework of complete metric spaces</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">These two semantic models are found to be equivalent, in the sense that the operational semantics of a program can be recovered from its denotational semantics by applying an abstraction operation. The semantic techniques are introduced by applying them first to a simplified language.</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 programming (Computer science)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rutten, Jan J.</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">89,53</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">89,53</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005905146</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV008949489 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:18Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005905146 |
| oclc_num | 22516818 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 44 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | America, Pierre Verfasser aut A parallel object-oriented language design and semantic foundations P. H. M. America ; J. J. M. M. Rutten Amsterdam 1989 44 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,53 Abstract: "The language POOL2 integrates the structuring mechanisms of object-oriented programming with facilities for parallel programming. We discuss the most important issues in the design of this language. In particular, we give an overview of the basic principles of object-oriented programming, and we compare several different ways of combining them with parallelism. The language is illustrated by a programming example. Then we define two kinds of formal semantics: an operational semantics based on transition systems and a denotational semantics, which uses the framework of complete metric spaces These two semantic models are found to be equivalent, in the sense that the operational semantics of a program can be recovered from its denotational semantics by applying an abstraction operation. The semantic techniques are introduced by applying them first to a simplified language. Object-oriented programming (Computer science) Parallel programming (Computer science) 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Rutten, Jan J. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 89,53 (DE-604)BV008928356 89,53 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | America, Pierre Rutten, Jan J. A parallel object-oriented language design and semantic foundations Object-oriented programming (Computer science) Parallel programming (Computer science) |
| subject_GND | (DE-588)4113937-9 |
| title | A parallel object-oriented language design and semantic foundations |
| title_auth | A parallel object-oriented language design and semantic foundations |
| title_exact_search | A parallel object-oriented language design and semantic foundations |
| title_full | A parallel object-oriented language design and semantic foundations P. H. M. America ; J. J. M. M. Rutten |
| title_fullStr | A parallel object-oriented language design and semantic foundations P. H. M. America ; J. J. M. M. Rutten |
| title_full_unstemmed | A parallel object-oriented language design and semantic foundations P. H. M. America ; J. J. M. M. Rutten |
| title_short | A parallel object-oriented language |
| title_sort | a parallel object oriented language design and semantic foundations |
| title_sub | design and semantic foundations |
| topic | Object-oriented programming (Computer science) Parallel programming (Computer science) |
| topic_facet | Object-oriented programming (Computer science) Parallel programming (Computer science) Hochschulschrift |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT americapierre aparallelobjectorientedlanguagedesignandsemanticfoundations AT ruttenjanj aparallelobjectorientedlanguagedesignandsemanticfoundations |