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): |
|
||||
| Thesis Committee: |
|
||||
| Defense Date: | 30 June 1993 | ||||
| Other Numbering System: |
|
||||
| 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]](/style/images/fileicons/application_pdf.png)
|
PDF
- Final Version
See Usage Policy. 666kB |
Repository Staff Only: item control page
