• Home
  • Search
  • Language Support for Parallel Computation
  • https://doi.org/10.21236/ada223072Copy DOI Icon

Language Support for Parallel Computation

  • Apr 1, 1990
  • C V Ramamoorthy
Show More
  • Abstract
  • Literature Map
  • Similar Papers
Abstract

Abstract : This final technical report summarizes the research accomplished under the Expert Science and Engineering (ES&E) program by the University of California at Berkeley through Syracuse University. The research effort, entitled 'Parallel Extensions for Object Oriented Programming', examined communication aspects leading to language support for parallel computation. The work undertaken in this effort has extended concurrent programming languages in their communication primitives. Although many abstraction mechanisms have been used in programming languages, including control abstraction mechanisms (such as procedures) and data abstraction mechanisms (such as data types), communication abstraction mechanisms have been found to be the most useful for parallel/ concurrent programming paradigms. Work accomplished in this effort has extended those mechanisms, concentrating on inter-process communication. A formal model for concurrent systems, called the Synchronous Token-based Communicating State (STOCS) model, has been used to model and analyze concurrent systems. Since present concurrent languages do not support any form of analysis of the communication structure of programs, two new constructs based on STOCS formalism have been developed to support high level specification - handshake and unit. A fair and efficient algorithm for execution of multi-process shared events is also presented.

Similar Papers
  • Single Report

Rome Laboratory Software Engineering Cooperative Virtual Machine.

  • Dec 01, 1994
  • Geoffrey C Fox +3
  • Research Article
  • Citations4

Debugging Tools for Concurrent Logic Programming

  • Apr 01, 1992
  • The Computer Journal
  • T Conlon +1
  • Conference Article
  • Citations7

The heart of object-oriented concurrent programming

  • Jan 01, 1988
  • J Lim +1
  • Conference Article
  • Citations39

Coverage metrics for verification of concurrent SystemC designs using mutation testing

  • Jun 01, 2010
  • Alper Sen +1
  • Research Article
  • Citations1

Handling exceptions in programs with hidden concurrency: new challenges for old solutions

  • Jun 09, 2012
  • Alcides Fonseca +1
  • Research Article
  • Citations1

Object-Oriented Programming Language Facilities for Concurrency Control

  • Jan 01, 1989
  • Columbia Academic Commons (Columbia University)
  • Gail E Kaiser
  • Research Article

Research in Western American Literature: 1982

  • Jan 01, 1984
  • Western American Literature
  • Richard H Cracroft
  • Single Report
  • Citations1

Specifying and Verifying Concurrent Programs.

  • Feb 01, 1985
  • L Lamport
  • Book Chapter

Communication primitives in programming and specification languages

  • Aug 18, 1986
  • M Hennessy
  • Research Article
  • Citations6

Actors as a special case of concurrent constraint (logic) programming

  • Sep 01, 1990
  • ACM SIGPLAN Notices
  • K Kahn +1
  • Conference Article

Concurrent programming on microcomputers

  • Jan 01, 1979
  • B Appelbe +1
  • Research Article
  • Citations3

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

  • Dec 01, 2007
  • Tsinghua Science & Technology
  • Shengyuan Wang +2
  • Conference Article
  • Citations21

Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages

  • Sep 01, 2011
  • Sebastian Nanz +3
  • Research Article
  • Citations20

SimpA: An agent-oriented approach for programming concurrent applications on top of Java

  • Jul 05, 2010
  • Science of Computer Programming
  • Alessandro Ricci +2
  • Research Article
  • Citations41

Concurrent C

  • Sep 01, 1986
  • Software: Practice and Experience
  • N H Gehani +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.