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. 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 NameOther Numbering System ID
UNSPECIFIEDCS-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

[img]
Preview
PDF - Final Version
See Usage Policy.

666kB

Repository Staff Only: item control page