OPAL: Design and implementation of an algebraic programming language

  • Klaus Didrich
  • Andreas Fett
  • Carola Gerke
  • Wolfgang Grieskamp
  • Peter Pepper
Session Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 782)


External Property Functional Language Property Part Algebraic Specification Implementation Part 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    I. Classen. Semantik der revidierten Version der algebraischen Spezifikationssprache ACT ONE. Technical Report 88/24, TU Berlin, 1988.Google Scholar
  3. 3.
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications I, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin, 1985.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Proc. POPL, 1985.Google Scholar
  6. 6.
    Simon L. Peyton Jones. Implementing Functional Languages. Prentice Hall, 1992.Google Scholar
  7. 7.
    R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.Google Scholar
  8. 8.
    H. Partsch. Specification and Transformation of Programs — a Formal Approach to Software Development. Springer-Verlag, Berlin, 1990.Google Scholar
  9. 9.
    P. Pepper. The Programming Language OPAL. Technical Report 91-10, TU Berlin, June 1991.Google Scholar
  10. 10.
    N. Perry. Hope+. Internal report IC/FPR/LANG/2.51/7, Dept. of Computing Imperial College London, 1988.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    Wolfram Schulte. Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen. PhD thesis, Technische Universität Berlin, 1992.Google Scholar
  13. 13.
    Douglas R. Smith and Michael R. Lowry. Algorithm theories and design tactics. Science of Computer Programming, 14:305–321, 1990.Google Scholar
  14. 14.
    R. Stansifer. Imperative versus functional. SIGPLAN Notices, 25, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Klaus Didrich
    • 1
  • Andreas Fett
    • 2
  • Carola Gerke
    • 1
  • Wolfgang Grieskamp
    • 1
  • Peter Pepper
    • 1
  1. 1.Fachbereich Informatik, Institut für angewandte InformatikTechnische Universität BerlinBerlin
  2. 2.Forschung SystemtechnikDaimler-Benz AGBerlin

Personalised recommendations