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

Citation

Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Master's thesis, California Institute of Technology. doi:10.7907/ngrt-q826. https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175

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:

Thesis (Master's thesis)

Subject Keywords:

Computer Science

Degree Grantor:

California Institute of Technology

Division:

Engineering and Applied Science

Major Option:

Computer Science

Thesis Availability:

Public (worldwide access)

Research Advisor(s):

Chandy, K. Mani

Thesis Committee:

Unknown, Unknown

Defense Date:

30 June 1993

Other Numbering System:

Other Numbering System Name	Other Numbering System ID
UNSPECIFIED	CS-TR-93-21

Record Number:

CaltechTHESIS:04122012-114004175

Persistent URL:

https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175

DOI:

10.7907/ngrt-q826

Default Usage Policy:

No commercial reproduction, distribution, display or performance rights in this work are provided.

ID Code:

6919

Collection:

CaltechTHESIS

Deposited By:

Benjamin Perez

Deposited On:

12 Apr 2012 19:47

Last Modified:

09 Nov 2022 19:20

Thesis Files

Preview

PDF - Final Version
See Usage Policy.
666kB

Repository Staff Only: item control page