Accession Number : ADA183216

Title :   Methodologies for Concurrent Programming.

Descriptive Note : Final rept. for 1 Mar 86-28 Feb 87,

Corporate Author : TEXAS UNIV AT ARLINGTON DEPT OF COMPUTER SCIENCE

Personal Author(s) : Misra,Jayadev

PDF Url : ADA183216

Report Date : 28 Feb 1987

Pagination or Media Count : 22

Abstract : This document proposes a unifying theory for the development of programs for a variety of architectures and applications. The computational model is unbounded nondeterministic iterative transformations of the program state. Transformations of the program state are represented by multiple assignments. The theory attempts to decouple the programmer's thinking about a program and its implementation on an architecture; we attempt to separate the concerns of what from those of where, when, and how. Details about implementations are considered in mappings of programs to architectures. We hope to demonstrate that we can develop, specify and refine solution strategies independent of architectures. The utility of a new approach is suspect, especially when it is a radical departure from the conventional. Therefore, we have made a conscientious effort to apply our ideas to a number of architectures and application domains. Our experience is encouraging. Keywords: Parallel programming; Unity computer programs.

Descriptors :   *COMPUTER PROGRAMMING, COMPUTER PROGRAMS, PARALLEL PROCESSING, COMPUTATIONS, MATHEMATICAL MODELS, ITERATIONS, TRANSFORMATIONS, SOLUTIONS(GENERAL), STRATEGY

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE