Skip to main content
SpringerLink
Log in
Book cover

Workshop on Algebraic Methods

Algebraic Methods 1989: Algebraic Methods II: Theory, Tools and Applications pp 363–394Cite as

Design of a specification language by abstract syntax engineering

  • Part IV Algebraic Specification
  • Conference paper
  • First Online:

  • 136 Accesses

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

Abstract

In this paper, we design a specification language in an entirely algebraic style. We describe the language in terms of abstract syntax only. We argue that this is the correct approach in language design.

Note: This work is partially sponsored by ESPRIT contract 432, An Integrated Formal Approach to Industrial Software Development (METEOR).

Note: this paper is a revision of [BB 89]. Parts of it have been used in [SPECS 89].

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. J.C.M. Baeten & J.A. Bergstra, Design of a specification language by abstract syntax engineering, report CS-R8934, Centre for Math. & Comp. Sci., Amsterdam 1989.

    Google Scholar 

  2. J.A. Bergstra, J. Heering & P. Klint, Module algebra, report CS-R8844, Centre for Math. & Comp. Sci., Amsterdam 1988 (revised version of report CS-R8617). To appear in JACM.

    Google Scholar 

  3. J.A. Bergstra, J. Heering & P. Klint, Algebraic specification, ACM Press Frontier Series, Addison Wesley 1989.

    Google Scholar 

  4. J.A. Bergstra & G.R. Renardel de Lavalette, De plaats van formele specificaties in de software-technologie, Informatie 31 (6), 1989, pp. 480–494.

    Google Scholar 

  5. R.S. Bird, An introduction to the theory of lists, in: Logic of Programming and Calculi of discrete design (ed. M. Broy), Springer 1987, pp. 5–42.

    Google Scholar 

  6. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans & G.R. Renardel de Lavalette, Formal definition of the design language COLD-K, METEOR/t7/PRLE/7, 1987.

    Google Scholar 

  7. S.M.M. Joosten, The use of functional programming in software development, Ph.D. thesis, Universiteit Twente, 1989.

    Google Scholar 

  8. S. Mauw & G.J. Veltink, A process specification formalism, report P8814, Programming Research Group, University of Amsterdam 1988. To appear in Fund. Inf.

    Google Scholar 

  9. L.G.L.T. Meertens, Algorithmics — towards programming as a mathematical activity, in: Math. & Comp. Sci. (eds. J.W. de Bakker e.a.), CWI Monograph 1, North Holland 1986, pp. 289–334.

    Google Scholar 

  10. SPECS Consortium, Definition of MR and CRL version 2.0, Deliverable D.WP5.4, RACE project SPECS, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Software Technology, Centre for Mathematics and Computer Science, P.O.Box 4079, 1009 AB, Amsterdam, The Netherlands

    J. C. M. Baeten

  2. Programming Research Group, University of Amsterdam, P.O.Box 41882, 1009 DB, Amsterdam, The Netherlands

    J. A. Bergstra

  3. Department of Philosophy, State University of Utrecht, Heidelberglaan 2, 3584 CS, Utrecht, The Netherlands

    J. A. Bergstra

Authors
  1. J. C. M. Baeten
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. A. Bergstra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baeten, J.C.M., Bergstra, J.A. (1991). Design of a specification language by abstract syntax engineering. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-53912-3_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53912-4

  • Online ISBN: 978-3-540-46351-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation