Abstract
A generalization of our terminal algebra semantics approach is presented. We then give a uniform initial/terminal semantics of parameterized data type specifications.
Preview
Unable to display preview. Download preview PDF.
6. References
J.A. Goguen — J.W. Thatcher — E.G. Wagner — J.B. Wright, "A Junction Between Computer Science and Category Theory", IBM Research Report RC-4526, 1973
J.A. Goguen J.W. Thatcher E.G. Wagner J.B. Wright, "Initial Algebra Semantics and Continuous Algebras", JACM 24(1977), 68–95
J.W. Thatcher — E.G. Wagner — J.B. Wright, "Data Type Specification: Parameterization and the Power of Specification Techniques", Proceedings of the 10th STOC, 1978
J.A. Bergstra — J.V. Tucker, "A Natural Data Type With a Finite Equational Final Semantics Specification but no Effective Equational Initial Semantics Specification", Report IW 133/80, Stichting Mathematisch Centrum, Afdeling Informatica, 1980
H. Ehrig — H.J. Kreowski — J.W. Thatcher — E.G. Wagner — J.B. Wright, "Parameterized Data Types in Algebraic Specification Languages", Proceedings of the 7th ICALP, Noordwijkerhout 1980, 157–168
H. Ehrig — H.J. Kreowski — J.W. Thatcher — E.G. Wagner — J.B. Wright, "Parameter Passing in Algebraic Specification Languages", Draft Paper 1980
J.V. Guttag — E. Horrowitz — D.R. Musser, "The Design of Data Type Specifications", Technical Report ISI/RR-76-49, Information Sciences Institute, University of Southern California, 1976
U. Guntram, "Korrekte Implementierung abstrakter Datentypen durch Moduln in höheren Programmiersprachen", Memo SEKI-BN-80-09, Institut für Informatik III, Universität Bonn, 1980
G. Hornung, "Einige Probleme der Algebrasemantik abstrakter Datentypen", Memo SEKI-BN-79-07, Institut für Informatik III, Universität Bonn, 1979
G. Hornung — P. Raulefs, "Terminal Algebra Semantics and Retractions for Abstract Data Types", Memo SEKI-BN-79-06, Institut füt Informatik III, Universität Bonn, 1979
G. Hornung — P. Raulefs, "Terminal Algebra Semantics and Retractions for Abstract Data Types", Proceedings of the 7th ICALP, Nordwijkerhout 1980, 310–323 (Summary of [HR 79]).
G. Hornung — P. Raulefs, "A Uniform Algebra Semantics of Parameterized Data Type Specifications with Inequalities", Memo SEKI-BN-81-01, Institut für Informatik III, Universität Bonn, 1981
S. Kamin, "Final Data Type Specifications: A New Data Type Specification Method", Proceedings of the 7th POPL Conference, Las Vegas 1980, 131–138
M. Wand, "Final Algebra Semantics and Data Type Extensions", Technical Report No. 65, Computer Science Department, Indiana University, revised 1978
M. Wirsing — U. Broy, "Abstract Data Types as Lattices of Finitely Generated Models", Proceedings of the 9th International Symposium on MFCS, Springer 1980
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hornung, G., Raulefs, P. (1981). Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities. In: Astesiano, E., Böhm, C. (eds) CAAP '81. CAAP 1981. Lecture Notes in Computer Science, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10828-9_65
Download citation
DOI: https://doi.org/10.1007/3-540-10828-9_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10828-3
Online ISBN: 978-3-540-38716-9
eBook Packages: Springer Book Archive