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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1993
Accession Number
ADA444276

Entities

People

  • Paul Sivilotti

Organizations

  • California Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computing-Related Activities
  • Information Operations
  • Language
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Programming Languages
  • Software Development
  • Transport Protocols

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications