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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Brock, J., and Ackerman, W., Scenarios: A Model of Non-determinate Computation, In Lecture Notes in Computer Science #107, Springer-Verlag, New York, 1981.
Browne, J., Formulation and Programming of Parallel Computations: A Unified Approach, Proceedings IEEE International Conference of Parallel Programming, 1985.
Browne, J., Framework for Formulation and Analysis of Parallel Computation Structures, Parallel Computing 3, 1986, 1–9.
Browne, J., Azam, M. and Sobek, S. CODE: A Unified Approach to Parallel Programming, IEEE Software 6, July 1989, 10–19.
Browne, J., Werth, J. and Lee, T.J. Intersection of Parallel Structuring and Reuse of Software Components: A Calculus of Composition of Components for Parallel Programs, Proceedings of the 1989 International Conference on Parallel Processing, August 1989.
Chandy, K. M. and Misra, J. Parallel Program Design., Addison-Wesley, New York, 1988.
Gelenter, D., Parallel Programming in Linda, Proceedings IEEE International Conference of Parallel Programming, 1985, 281–291.
Goguen, J., Reusing and Interconnecting Software Components, IEEE Computer, Feb. 1986.
Hoare, C. A. R., Communicating Sequential Processes, CACM 21, August 1978.
Jain, R., Werth, J. and Browne, J. C. An Experimental Study of the Effectiveness of High Level Parallel Programming, Proceedings of the 1991 SIAM Meeting on Parallel Computation.
Lee, T. J., Werth, J. and Browne, J. C. Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment, IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990.
Newton, P. CODE 2.0 Prototype, unpublished manuscript, Department of Computer Science, University of Texas at Austin, July 1991.
Sobek, S. A Constructive Unified Model of Parallel Computation, Ph.D. Dissertation, Department of Computer Science, University of Texas at Austin, December 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Werth, J., Browne, J., Sobek, S., Lee, T., Newton, P., Jain, R. (1992). The interaction of the formal and the practical in parallel programming environment development: CODE. In: Banerjee, U., Gelernter, D., Nicolau, A., Padua, D. (eds) Languages and Compilers for Parallel Computing. LCPC 1991. Lecture Notes in Computer Science, vol 589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0038656
Download citation
DOI: https://doi.org/10.1007/BFb0038656
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55422-6
Online ISBN: 978-3-540-47063-2
eBook Packages: Springer Book Archive