Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
- Submitted Version
See Usage Policy. 484kB | |
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Submitted Version
See Usage Policy. 666kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21
Abstract
CC++ is a parallel object-oriented programming language that uses parallel composition, atomic functions, and single- assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely: semaphores, monitors, and asynchronous channels. A collection of libraries which integrates these traditional models with CC++ is specified, implemented, and formally verified.
| Item Type: | Report or Paper (Technical Report) | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Additional Information: | © 1993 California Institute of Technology. Many thanks to Mani Chandy whose guidance and encouragement as my research advisor was very much appreciated. Also thank you to the other members of the Compositional Systems Research Group-Ulla Binau, Pete Cartin, Carl Kesselman, Tai Lancaster, Berna Massingill, Marc Pomerantz, Adam Rifkin, Mei Su, and .John Thornley - and to Diana Finley; through valuable discussions, insightful suggestions, or proofreading, they all contributed to this research. This research was supported in part by NSERC and by ARPA grant N00014-91-J-4014. | ||||||||
| Group: | Computer Science Technical Reports | ||||||||
| Funders: |
| ||||||||
| Series Name: | Computer Science Technical Reports | ||||||||
| DOI: | 10.7907/Z9W95779 | ||||||||
| Record Number: | CaltechCSTR:1993.cs-tr-93-21 | ||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21 | ||||||||
| Usage Policy: | You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format. | ||||||||
| ID Code: | 26868 | ||||||||
| Collection: | CaltechCSTR | ||||||||
| Deposited By: | Imported from CaltechCSTR | ||||||||
| Deposited On: | 14 May 2001 | ||||||||
| Last Modified: | 03 Oct 2019 03:18 |
Repository Staff Only: item control page
