Abstract
The art of designing parallel programs is underdeveloped because we do not understand parallelism clearly. This paper suggests a programming methodology and it gives a precise definition of the ADA form of parallelism. The methodology is based on ideas of Milner and it can be used when designing parallel programs in languages other than ADA.
Chapter PDF
Similar content being viewed by others
References
ADA (1979a) Preliminary ADA reference manual. SIGPLAN Notices 14 no. 6, part A.
ADA (1979b) Rational for the design of the ADA programming language. SIGPLAN Notices 14 no. 6, part B.
Campbell R.H., Habermann, A.N. (1974): "The specification of process synchronization by path expressions". Springer Lecture Notes 16.
Francez, N., Hoare, C.A.R., Lehmann, D.J., De Roever, W.P. (1979): "Semantics of Nondeterminism, Concurrency, and Communication". J. Comp. Sys. Sci. 19, pp. 290–308.
Ginsburg, S. (1977): "The Mathematical Theory of Context Free Languages". McGraw Hill, p. 108.
Hoare, C.A.R. (1979): A model for communicating sequential processes. Program Research Group preprint, Oxford University.
Mayoh, B.H. (1979): "Parallelism in ADA", DAIMI PB-103, Aarhus University.
Milner, R. (1978): "An Algebraic Theory for Synchronization". Springer Lecture Notes 67.
Shaw, A.C. (1978): "Software Descriptions with Flow Expressions". IEEE Trans. Software Engineering Se-4 no. 3.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mayoh, B.H. (1980). Parallelism in ADA: Program design and meaning. In: Robinet, B. (eds) International Symposium on Programming. Programming 1980. Lecture Notes in Computer Science, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09981-6_18
Download citation
DOI: https://doi.org/10.1007/3-540-09981-6_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09981-9
Online ISBN: 978-3-540-39233-0
eBook Packages: Springer Book Archive