Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on the Formalization of Programming Concepts

ICFPC 1981: Formalization of Programming Concepts pp 335–346Cite as

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

  • Communications
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 107))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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–177

    Google Scholar 

  2. R.M. Burstall. P.J. Landin Programs and their proof: an algebraic approach Machine Intelligence 4, 1969, 17–43

    Google Scholar 

  3. H.A. Klaeren Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation Dissertation, RWTH Aachen, 1980

    Google Scholar 

  4. H.A. Klaeren An abstract software specification technique based on structural recursion SIGPLAN Notices 15 (1980), No. 3, 28–34

    Google Scholar 

  5. H.A. Klaeren A simple class of algorithmic specifications for abstract software modules 9th MFCS (1980), Springer Lect.Not.Comp.Sc. 88, 362–374

    Google Scholar 

  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, 1981

    Google Scholar 

  7. P. Mosses A constructive approach to compiler correctness 7th ICALP (1980), Springer Lect.Not.Com.Sc. 85, 449–469

    Google Scholar 

  8. R.D. Tennent The denotational semantics of programming languages CACM 19 (1976), 437–453

    Google Scholar 

  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–615

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Informatik II, RWTH Aachen, Büchel 29-31, D-5100, Aachen, West Germany

    H. A. Klaeren & H. Petzsch

Authors
  1. H. A. Klaeren
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Petzsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Díaz I. Ramos

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Klaeren, H.A., Petzsch, H. (1981). The development of an interpreter by means of abstract algebraic software specifications. In: Díaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_109

Download citation

  • DOI: https://doi.org/10.1007/3-540-10699-5_109

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10699-9

  • Online ISBN: 978-3-540-38654-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation