Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
- Submitted Version
See Usage Policy. 277kB | |
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Submitted Version
See Usage Policy. 1MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01
Abstract
CC++ is Compositional C++, a parallel object-oriented notation that consists of C++ with six extensions. The goals of the CC++ project are to provide a theory, notation and tools for developing reliable scalable concurrent program libraries, and to provide a framework for unifying: 1.distributed reactive systems, batch-oriented numeric and symbolic applications, and user-interface systems, 2.declarative programs and object-oriented imperative programs, and 3.deterministic and nondeterministic programs. This paper is a brief description of the motivation for CC++, the extensions to C++, a few examples of CC++ programs with reasoning about their correctness, and an evaluation of CC++ in the context of other research on concurrent computation. A short description of C++ is provided.
| Item Type: | Report or Paper (Technical Report) | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Additional Information: | © 1994 California Institute of Technology. March 12, 1993. The implementation of CC++ was done with the assistance of Mei Su, Tal Lancaster, Pete Carlin, Marc Pomerantz, Julia George and Ranjit Mathews. Thanks to Ian Foster and Craig Lee for their suggestions and for reviewing various versions of this document. The research on C++ object libraries for concurrent computation is funded by DARPA under grant N00014-91-J-4012. The research on compositional concurrent notations is funded by the NSF Center for Research on Parallel Computing under grant CCR-8809615. | ||||||||
| Group: | Computer Science Technical Reports | ||||||||
| Funders: |
| ||||||||
| Series Name: | Computer Science Technical Reports | ||||||||
| DOI: | 10.7907/Z96M34V8 | ||||||||
| Record Number: | CaltechCSTR:1993.cs-tr-92-01 | ||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01 | ||||||||
| 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: | 26851 | ||||||||
| Collection: | CaltechCSTR | ||||||||
| Deposited By: | Imported from CaltechCSTR | ||||||||
| Deposited On: | 14 May 2001 | ||||||||
| Last Modified: | 03 Oct 2019 03:18 |
Repository Staff Only: item control page
