Design of a specification language by abstract syntax engineering

  • J. C. M. Baeten
  • J. A. Bergstra
Part IV Algebraic Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 490)


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.

1980 Mathematics Subject Classification (1985 revision)

68Q45 68Q55 68Q65 68Q50 

1987 CR Categories

F.4.3 D.2.10 D.3.1 D.3.3 

Key words & Phrases

abstract syntax specification languages module algebra ASF 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BB 89]
    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. [BHK 88]
    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. [BHK 89]
    J.A. Bergstra, J. Heering & P. Klint, Algebraic specification, ACM Press Frontier Series, Addison Wesley 1989.Google Scholar
  4. [BR 89]
    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. [BI 87]
    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. [FJKR 87]
    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. [J 89]
    S.M.M. Joosten, The use of functional programming in software development, Ph.D. thesis, Universiteit Twente, 1989.Google Scholar
  8. [MV 88]
    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. [M 86]
    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 89]
    SPECS Consortium, Definition of MR and CRL version 2.0, Deliverable D.WP5.4, RACE project SPECS, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • J. C. M. Baeten
    • 1
  • J. A. Bergstra
    • 2
    • 3
  1. 1.Dept. of Software TechnologyCentre for Mathematics and Computer ScienceAmsterdamThe Netherlands
  2. 2.Programming Research GroupUniversity of AmsterdamAmsterdamThe Netherlands
  3. 3.Department of PhilosophyState University of UtrechtUtrechtThe Netherlands

Personalised recommendations