CaltechAUTHORS
  A Caltech Library Service

A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language

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) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

472Kb
[img]
Preview
PDF - Submitted Version
See Usage Policy.

650Kb

Use this Persistent URL to link to this item: http://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:
Funding AgencyGrant Number
Natural Sciences and Engineering Research Council of Canada (NSERC)UNSPECIFIED
Advanced Research Projects Agency (ARPA)UNSPECIFIED
Office of Naval Research (ONR)N00014-91-J-4014
DOI:10.7907/Z9W95779
Record Number:CaltechCSTR:1993.cs-tr-93-21
Persistent URL:http://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:19 Jun 2017 18:09

Repository Staff Only: item control page