Preview
Unable to display preview. Download preview PDF.
References
H.D. Ehrich Extensions and Implementations of Abstract Data Type Specifications VIIth MFCS, 1978, Pp. 155–164.
H. Ehrig, H.-J. Kreowski, P. Padawitz Stepwise Specification and Implementation of Abstract Data Types Vth ICALP, Udine, 1978.
J.A. Goguen, J.W. Thatcher, E.G. Wagner An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types IBM Research Report, RC 6487, 1976.
H. Klaeren Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation Dissertation, RWTH Aachen, 1980.
J.W. Thatcher, E.G. Wagner, J.B. Wright Data Type Specification: Parameterization and the Power of Specification Techniques 10th STOC, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klaeren, H.A. (1980). A simple class of algorithmic specifications for abstract software modules. In: Dembiński, P. (eds) Mathematical Foundations of Computer Science 1980. MFCS 1980. Lecture Notes in Computer Science, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022517
Download citation
DOI: https://doi.org/10.1007/BFb0022517
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10027-0
Online ISBN: 978-3-540-38194-5
eBook Packages: Springer Book Archive