Preview
Unable to display preview. Download preview PDF.
References
H.A. Klaeren A simple class of algorithmic specifications for abstract software modules 9th MFCS (1980), Springer Lect. Not. Comp. Sc. 88, 362–374
H.A. Klaeren The SRDL specification experiment — This volume —
H.A. Klaeren A constructive method for abstract algebraic software specification To appear 1981
H.A. Klaeren, H. Petzsch The development of an interpreter by means of abstract algebraic software specifications Int. Coll. on Formalization of Prog. Concepts, Peniscola 1981 Springer Lect. Not. Comp. Sc. 107, 335–346
H.A. Klaeren, H. Petzsch Algebraic software specification and compiler generation — a case study RWTH Aachen, Schriften zur Informatik & Ang. Math. Nr. 68, 1981
J. Loeckx Algorithmic specifications of abstract data types 8th ICALP (1981)
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). Recursive definitions of operations in universal algebras. 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_18
Download citation
DOI: https://doi.org/10.1007/3-540-11490-4_18
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