CaltechTHESIS
  A Caltech Library Service

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. http://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:Restricted to Caltech community only
Research Advisor(s):
  • Chandy, K. Mani
Thesis Committee:
  • Unknown, Unknown
Defense Date:30 June 1993
Other Numbering System:
Other Numbering System NameOther Numbering System ID
UNSPECIFIEDCS-TR-93-21
Record Number:CaltechTHESIS:04122012-114004175
Persistent URL:http://resolver.caltech.edu/CaltechTHESIS:04122012-114004175
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:26 Dec 2012 04:41

Thesis Files

[img] PDF - Final Version
Restricted to Caltech community only
See Usage Policy.

650Kb

Repository Staff Only: item control page