Published May 14, 2001
| Submitted
Report
Open
A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language
- Creators
- Sivilotti, Paul
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.
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.Attached Files
Submitted - 93-21.pdf
Submitted - 93-21.ps
Files
93-21.pdf
Additional details
- Eprint ID
- 26868
- Resolver ID
- CaltechCSTR:1993.cs-tr-93-21
- Natural Sciences and Engineering Research Council of Canada (NSERC)
- Advanced Research Projects Agency (ARPA)
- N00014-91-J-4014
- Office of Naval Research (ONR)
- Created
-
2001-05-14Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports