The development of an interpreter by means of abstract algebraic software specifications

  • H. A. Klaeren
  • H. Petzsch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Broy, M. Wirsing Programming languages as abstract data types 5e Coll. Int. Les Arbres en Algèbre et Programmation, Lille 1980, Université de Lille, 160–177Google Scholar
  2. [2]
    R.M. Burstall. P.J. Landin Programs and their proof: an algebraic approach Machine Intelligence 4, 1969, 17–43Google Scholar
  3. [3]
    H.A. Klaeren Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation Dissertation, RWTH Aachen, 1980Google Scholar
  4. [4]
    H.A. Klaeren An abstract software specification technique based on structural recursion SIGPLAN Notices 15 (1980), No. 3, 28–34Google Scholar
  5. [5]
    H.A. Klaeren A simple class of algorithmic specifications for abstract software modules 9th MFCS (1980), Springer Lect.Not.Comp.Sc. 88, 362–374Google Scholar
  6. [6]
    H.A. Klaeren, H. Petzsch Algebraic Software Specification and compiler generation — A case study RWTH Aachen, Schriften zur Informatik und Ang. Mathematik No. 68, 1981Google Scholar
  7. [7]
    P. Mosses A constructive approach to compiler correctness 7th ICALP (1980), Springer Lect.Not.Com.Sc. 85, 449–469Google Scholar
  8. [8]
    R.D. Tennent The denotational semantics of programming languages CACM 19 (1976), 437–453Google Scholar
  9. [9]
    J.W. Thatcher, E.G. Wagner, J.B. Wright More on advice on structuring compilers and proving them correct 6th ICALP (1979), Springer Lect.Not.Comp.Sc. 71, 596–615Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • H. A. Klaeren
    • 1
  • H. Petzsch
    • 1
  1. 1.Lehrstuhl für Informatik II, RWTH AachenAachenWest Germany

Personalised recommendations