The Interaction of the Formal and the Practical in Parallel ProgrammingEnvironment Development: CODE

  • Authors:
  • John Werth;James C. Browne;S. Sobek;T. J. Lee;Peter W Newton;Ravi Jain

  • Affiliations:
  • -;-;-;-;-;-

  • Venue:
  • The Interaction of the Formal and the Practical in Parallel ProgrammingEnvironment Development: CODE
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract

The most visible facet of the Computationally-Oriented Display Environment (CODE) is its graphical interface. However, the most important fact about CODE is that it is a programming system based on a formal unified computation graph model of parallel computation which was intended for actual program development. Most previous programming systems based on formal models of computation have been intended primarily to serve as specification systems. This paper focuses on the interaction between the development of the formal model of parallel computation and the development of a practical programming environment. Basing CODE on a formal model of parallel computation was integral to attainment of the initial project goals of an increase in level of abstraction of representation for parallel program structure and architectural independence. It also led to other significant research directions, such as a calculus of composition for parallel programs, and has suggested other directions of research in parallel programming that we have not yet had the opportunity to pursue. We hope this experience with the interaction of the theoretical and the practical may be of interest and benefit to other designers and developers of parallel programming systems.