This work was partially sponsored by the German Ministry of Research and Technology (BMFT) as part of the project “KORSO — Korrekte Software”.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
F. L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gantz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K, Semelson, M. Wirsing, and H. Wössner. The Munich Project Cip, volume 1. LNCF Springer, Berlin, 1985.
I. Classen. Semantik der revidierten Version der algebraischen Spezifikationssprache ACT ONE. Technical Report 88/24, TU Berlin, 1988.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications I, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin, 1985.
M.S. Feather. A survey and classification of some program transformation approaches and techniques. In L.G.L.T. Meertens, editor, Program Specification and Transformation. North-Holland, 1987.
K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Proc. POPL, 1985.
Simon L. Peyton Jones. Implementing Functional Languages. Prentice Hall, 1992.
R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
H. Partsch. Specification and Transformation of Programs — a Formal Approach to Software Development. Springer-Verlag, Berlin, 1990.
P. Pepper. The Programming Language OPAL. Technical Report 91-10, TU Berlin, June 1991.
N. Perry. Hope+. Internal report IC/FPR/LANG/2.51/7, Dept. of Computing Imperial College London, 1988.
W. Schulte and W. Grieskamp. Generating efficient portable code for a strict applicative language. In J. Darlington and R. Dietrich, editors, Declarative Programming. Springer Verlag, 1992.
Wolfram Schulte. Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen. PhD thesis, Technische Universität Berlin, 1992.
Douglas R. Smith and Michael R. Lowry. Algorithm theories and design tactics. Science of Computer Programming, 14:305–321, 1990.
R. Stansifer. Imperative versus functional. SIGPLAN Notices, 25, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Didrich, K., Fett, A., Gerke, C., Grieskamp, W., Pepper, P. (1994). OPAL: Design and implementation of an algebraic programming language. In: Gutknecht, J. (eds) Programming Languages and System Architectures. Lecture Notes in Computer Science, vol 782. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57840-4_34
Download citation
DOI: https://doi.org/10.1007/3-540-57840-4_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57840-6
Online ISBN: 978-3-540-48356-4
eBook Packages: Springer Book Archive