The SRDL specification experiment

  • H. A. Klaeren
Chapter 5 Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)


In [1] a constructive software specification technique based on structural recursion is proposed. Here we describe a specification language SRDL which was developed according to these ideas and its implementation. SRDL was implemented by H. Petzsch with occasional assistance of U. Goltz.


Structural Recursion Recursive Definition Equational Interpreter Module Library Abstract Software 
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.

5. References

  1. [1]
    H.A. Klaeren Recursive definitions of operations in universal algebras — This volume —Google Scholar
  2. [2]
    H.A. Klaeren A constructive method for abstract algebraic software specification To appear 1981Google Scholar
  3. [3]
    H. Petzsch INTAS — Ein System zur Interpretation algebraischer Spezifikationen Berichte des Lehrstuhls für Informatik II, RWTH Aachen, Nr. 5, 1981Google Scholar
  4. [4]
    H.A. Klaeren On parameterized abstract software modules using inductively specified operations RWTH Aachen, Schriften zur Informatik & Ang. Math., Nr. 66, 1980Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • H. A. Klaeren
    • 1
  1. 1.Lehrstuhl für Informatik IIRWTH AachenAachenWest Germany

Personalised recommendations