Abstract
A semantics-oriented interpretation system for a certain type of parallel programs has been built that is also user-friendly and efficient. It has been implemented on an Apollo workstation. A more detailed discussion of the system can be found in [W].
References
E.-R. Olderog: Korrektheitsbeweise paralleler und verteilter Programme. (Correctness proofs of parallel and distributed programs.) Lecture at the University of Kiel, summer 1986.
E.-R. Olderog, K.R. Apt: Fairness in Parallel Programs: The Transformational Approach. ACM Transactions on Programming Languages and Systems 10, 3 (July 1988), 420–455.
G.D. Plotkin: A structural approach to operational semantics. Report DAIMI FN-19, September 1981, Computer Science Department, Aarhus University.
T. Wolff: Implementierung einer Transitionssemantik für parallele Programme mit gemeinsamen Variablen. Diplomarbeit an der Universität Kiel, 1987.
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wolff, T. (1989). Implementation of a transition semantics for parallel programs with shared variables. In: Monien, B., Cori, R. (eds) STACS 89. STACS 1989. Lecture Notes in Computer Science, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029019
Download citation
DOI: https://doi.org/10.1007/BFb0029019
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50840-3
Online ISBN: 978-3-540-46098-5
eBook Packages: Springer Book Archive