Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
5. References
H.A. Klaeren Recursive definitions of operations in universal algebras — This volume —
H.A. Klaeren A constructive method for abstract algebraic software specification To appear 1981
H. Petzsch INTAS — Ein System zur Interpretation algebraischer Spezifikationen Berichte des Lehrstuhls für Informatik II, RWTH Aachen, Nr. 5, 1981
H.A. Klaeren On parameterized abstract software modules using inductively specified operations RWTH Aachen, Schriften zur Informatik & Ang. Math., Nr. 66, 1980
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klaeren, H.A. (1982). The SRDL specification experiment. In: Staunstrup, J. (eds) Program Specification. ProgSpec 1981. Lecture Notes in Computer Science, vol 134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11490-4_19
Download citation
DOI: https://doi.org/10.1007/3-540-11490-4_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11490-1
Online ISBN: 978-3-540-39176-0
eBook Packages: Springer Book Archive