Abstract
The problem of giving a formal definition of the representation of algebraic data structures is considered and developped in the frame work of the abstract data types approach. Such concepts as canonical form and simplification are formalized and related to properties of the abstract specification and of the associated term rewriting system.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Bibliography
(JAG,JWT,ECW) 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, October 1976.
(JAG) J.A.Goguen "Abstract errors for abstract data types". UCLA Semantics Theory of Computation Report 6, February 1977. Proceedings IFIP Working Conference on Formal Description of Programming Concepts. St. Andrews, New Brusswick, pp. 21.1–21.32. August 1977.
R.M. Burstall and J.A.Goguen "Putting Theories together to make Specifications". Proceedings 1977 IJCAI,MIT, Cambridge, MA, August 1977.
H.Ehrig, H.J.Kreowski and P.Padawitz "Stepwise specification and implementation of abstract data types". Technical University of Berlin, Report, March 1978.
R.Fateman "Essays in algebraic simplification". Ph.D. diss, Harward U., Cambridge, Mass., 1971.
M.Griss "The Definition and Use of Data Structures in Reduce". Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation.
J.V.Guttag "The specification and application to programming of abstract data types". University of Toronto, Computer Systems Research Group, Technical Report CSRG-59, September 1975.
A.C.Hearn "A new REDUCE model for Algebraic Simplification". Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation.
G.Huet "Confluent reductions: abstract properties and applications to term rewriting systems". Rapport de Recherche — IRIA.
E.Horowitz and S. Sahni "Fundamentals of Data Structures". Computer Science Press, Inc., 1976.
R.Loos "Toward a Formal Implementation of Computer Algebra". Symsam 1974.
G.Levi, and F.Sirovich "Proving program properties, symbolic evaluation and logical procedural semantics". Mathematical Foundations of Computer Science 1975. Lecture Notes in Computer Science, Springer Verlag, pp. 294–301.
B.H. Liskov, S.N. Zilles "Programming with abstract data types". Proc. of ACM Symp. on Very High Level Languages, SIGPLAN Notices 9, pp. 50–59 (1974).
J.Moses "Algebraic Simplification: A Guide for the Perplexed". Communications of ACM August 1971, Vol. 14, N.8.
J.W.Thatcher, E.G.Wagner, J.B.Wright "Data Type Specification: Parameterization and the Power of Specification Techniques". Report IBM Laboratories. Yorktown Heights.
S.N.Zilles "Algebraic Specification of data types". Project MAC Progress Report 11, MIT, Cambridge, Mass.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ausiello, G., Mascari, G.F. (1979). On the design of algebraic data structures with the approach of abstract data types. In: Ng, E.W. (eds) Symbolic and Algebraic Computation. EUROSAM 1979. Lecture Notes in Computer Science, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09519-5_100
Download citation
DOI: https://doi.org/10.1007/3-540-09519-5_100
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09519-4
Online ISBN: 978-3-540-35128-3
eBook Packages: Springer Book Archive