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