Abstract
Equational specifications of abstract data types are related by morphisms to form a category spec of specifications. Extensions are defined to be special morphisms, and weak extensions are introduced as a generalization. On this basis, a conceptually simple but powerful notion of implementation is given. The effects of these concepts on the associated initial algebras are investigated, and it is shown that implementations can be done in multiple levels.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
ADJ (J.A. Goguen,J.W. Thatcher,E.G. Wagner,J.B. Wright): Initial algebra semantics and continuous algebras. J.ACM 24(1977), 68–95
ADJ (GTWa): An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current trends in progr. methodology IV, ed. by R.Yeh, Prentice Hall, New Jersey
ADJ (TWaWr): Specification of abstract data types using conditional axioms (extended abstract). IBM Res. Report RC-6214, 1976
Arbib, M.A.-Manes, E.G.: Arrows, structures, and functors. Academic Press, New York 1975
Bergstra, J.: What is an abstract data type? Report No. 77-12, Inst. of Appl. Math. and Comp. Sc., Univ. of Leiden, The Netherlands, 1977
Burstall, R.M.-Goguen, J.A.: Putting theories together to make specifications. Proc. 5th IJCAI-77, MIT, Cambridge, Mass. 1977
Ehrich, H.-D.: Algebraic semantics of type definitions and structured variables. Proc. FCT'77, ed. by M. Karpiński, Lecture Notes in Comp. Sc. 56, Springer-Verlag, Berlin 1977
Ehrich, H.-D.: Algebraische Spezifikation von Datenstrukturen. Proc. Workshop "Graphentheoretische Konzepte in der Informatik", ed. by J. Mühlbacher, Hanser-Verlag, München 1977
Ehrich,H.-D.: On the theory of specification, parametric specification, and implementation of abstract data types. To be published
Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Some remarks concerning correct specification and implementation of abstract data types. Bericht Nr. 77-13, Techn. Univ. Berlin, FB 20, 1977
Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise specification and implementation of abstract data types. Internal Report, Techn. Univ. Berlin, FB 20, 1977
Giarratana, V.-Gimona, F.-Montanari, U.: Observability concepts in abstract data type specification. Proc. 5th MFCS, ed. by A. Mazurkiewicz, Lecture Notes in Comp. Sc. 45, Springer-Verlag, Berlin 1976, 576–587
Goguen, J.A.: Correctness and equivalence of data types. Proc. 1975 Conf. on Algebraic Systems, Lecture Notes in Comp. Sc., Springer-Verlag, Berlin 1975
Guttag, J.V.: The specification and application to programming of abstract data types. Tech. Report CSRG-59, Univ. of Toronto, 1975
Lehmann,D.J.-Smith,M.B.: Data types. The University of Warwick, Theory of Computation Report No. 19, May 1977
Liskov, B.H.-Zilles, S.N.: Specification techniques for data abstractions. IEEE Transactions on Software Engineering, Vol. SE-1 (1975), 7–19
Majster,M.E.: Data types, abstract data types and their specification problem. Report TUM-INFO-7740, Techn. Univ. München, 1977
Majster, M.E.: Limits of the algebraic specification of data types. SIGPLAN Notices 12 (1977), 37–42
Manes, E.G.: Algebraic theories. Springer-Verlag, New York 1976
Mosses, P.: Making denotational semantics less concrete. Proc. Bad Honnef Workshop on Semantics of Programming Languages, Bericht Nr. 41, Abteilung Informatik, Univ. Dortmund, 1976
Reusch, B.: Zur Realisierung von Automaten über Algebren. Berichte der GMD Band 38, Bonn 1971
Reynolds, J.C.: Semantics of the domain of flow diagrams. J.ACM 24 (1977), 484–503
Scott, D.S.: Data types as lattices. SIAM J. of Computing, Vol.5 (1976), 522–587
Thatcher,J.W.-Wagner,E.G.-Wright,J.B.: Data type specification: parametrization and the power of specification techniques. (Extended abstract). Internal Report, Yorktown Heights 1977
Wand, M.: First-order identities as a defining language. Tech. Report No. 29. Comp. Sc. Dept. Indiana University, Bloomginton 1976
Wand, M.: Efficient axioms for algebra semantics. Tech. Report No. 42, Comp. Sc. Dept. Indiana University, Bloomington 1975
Zilles,S.N.: Algebraic specification of data types. MIT Project MAC, Computation Structures Group Memo 119, 1975
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrich, H.D. (1978). Extensions and implementations of abstract data type specifications. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_64
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive