An introduction to data algebras

  • Stephen N. Zilles
Algebraic Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 86)


Data Type Congruence Relation Basis Algebra Basis Domain Congruence Class 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 〈BIRG70〉Birkhoff, G., and Lipson, J.D., "Heterogeneous Algebras," J. Combinatorial Theory, Vol. 8, No. 1 (1970), 115–33.Google Scholar
  2. 〈BROM79〉Broy, M., Dosch, W., Partsch, H., Pepper, P. and Wirsing, M., "Existential Quantifiers in Abstract Data Types," Proc. 6th Internation Colloquium on Automata, Languages and Programming, Gratz, Austria (1979).Google Scholar
  3. 〈BURR77〉Burstall, R. and Goguen, J., "Putting Theories Together to Make Specifications," Proc. Fifth International Joint Conference on Artificial Intelligence, (August 1977), 1045–1058.Google Scholar
  4. 〈COHP65〉Cohn, P.M., Universial Algebra, Harper and Row, New York, 1965.Google Scholar
  5. 〈EHRH78a〉Ehrig, H., Kreowski, H.-J. and Padawotz, P., "Stepwise Specification and Implementation of Abstract Data Types," Proc. 5th ICALP, Udine, July 1978, Lecture Notes in Computer Science, Springer-Verlag (1978).Google Scholar
  6. 〈EHRH78b〉Ehrig, H., Kreowski, H.-J. and Weber, H., "Algebraic Specification Schemes for Data Base Systems," Proc of 4th International Conference on Very Large Data Bases, Berlin, Germany (September 1978), 427–440.Google Scholar
  7. 〈GOGJ74〉Goguen,J.A., Thatcher,J.W., Wagner,E.G., and Wright,J.B., "Initial Algebra Semantics, 1974 IEEE Switching and Automata Theory Conf., New orleans, La. 1974.Google Scholar
  8. 〈GOGJ75〉Goguen,J.A., Thatcher,J.W., Wagner,E.G., and Wright,J.B., "Abstract Data Types as Initial Algebras and the Correctness of Data Representations, Proceedings of the conference on Computer Graphics, Pattern Recognition, and Data Structure, IEEE Catalog Number 75HO981-1C, 1975.Google Scholar
  9. 〈GOGJ77〉Goguen, J.A., "Abstract Errors for Abstract Data Types," Formal Description of Programming Concepts, (E. Neuhold, Ed.), North-Holland (1978), 491–526.Google Scholar
  10. 〈GOGJ78〉Goguen, J., Thatcher, J. and Wagner, E., "Abstract Data Types as Initial Algebras and the Correctness of Data Representations," Current Trends in Programming Methodology, Vol 4 (R. Yeh, Ed.), Prentice-Hall, Englewood Cliffs, NJ (1978), 80–149.Google Scholar
  11. 〈GOOJ75〉Goodenough,J., "Structured Exception Handling," Conference Record 2nd ACM Symposium on Principles of Programming Languages, ACM, January, 1975.Google Scholar
  12. 〈GUTJ74〉Donahue,J.E., Gannon,J.D., Guttag,J.V., and Horning,J.J., Three Approaches to Reliable Software: Language Design, Dyadic Specification, Complementary Semantics, Techniacal Report CSRG-45, Computer Systems Research Group, University of Toronto, Canada, December, 1974.Google Scholar
  13. 〈GUTJ75〉Guttag, J.V., "The Specification and Application to Programming of Abstract Data Types," Computer Systems Research Group Technical Report CSRG-59, University of Toronto, Canada (September 1975).Google Scholar
  14. 〈GUTJ76〉Guttag, J.V., Horowitz, E. and Musser, D.R., "The Design of Data Type Specifications," Proc. Second International Conference on Software Engineering, San Francisco, CA (October 1976), 414–420.Google Scholar
  15. 〈GUTJ78a〉Guttag, J.V., Horowitz, E. and Musser, D.R., "Abstract Data Types and Software Validation," CACM, Vol 21 (1978), 1048–1064.Google Scholar
  16. 〈GUTJ78b〉Guttag, J.V., and Horning, J.J., "The Algebraic Specification of Abstract Data Types," Acta Informatica, Vol 10, No. 1 (1978), 27–52.CrossRefGoogle Scholar
  17. 〈HOAC72a〉Hoare, C.A.R., "Proof of Correctness of Data Representations," Acta Informatica, Vol. 1 (1972), 271–81.CrossRefGoogle Scholar
  18. 〈HOAC72b〉Hoare, C.A.R., Notes on Structured Programing, Structured Programming, A.P.I.C. Studies in Data Processing No. 8, Academic Press, New York, 1972.Google Scholar
  19. 〈LEHD77〉Lehmann, D.J. AND Smyth, M.B., "Data Types," Proc. 18th IEEE Symposium on Foundations of Computing, Providence, RI (November 1977), 7–12.Google Scholar
  20. 〈LISB75〉Liskov, B., and Zilles, S., "Specification Techniques for Data Abstractions, IEEE Transactions on Software Engineering, Vol. SE-1, No. 1, (March 1975), 7–19.Google Scholar
  21. 〈LISB78〉Liskov, B., Moss, E., Schaffert, C., Scheifler, R. and Snyder, A., The CLU Reference Manual, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA (July 1978).Google Scholar
  22. 〈LUCP70〉Lucas, P., "On the Semantics of Programming Languages and Software Devices," in Formal Semantics of Programming Languages, Courant Computer Science Symposium 2, Prentice Hall (1970), 52–57.Google Scholar
  23. 〈MAJM77〉Majster, M.E., "Limits of ‘Algebraic’ Specification of Abstract Data Types," SIGPLAN Notices, Vol 12, No. 12 (December 1977), 37–42.Google Scholar
  24. 〈MCCJ60〉McCarthy, "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I," Comm ACM, Vol. 3, No. 4 (April 1960), 184–95.CrossRefGoogle Scholar
  25. 〈MELM78〉Melkanoff, M.A., and Zamfir, M., "The Axiomatization of Data Base Conceptual Models by Abstract Data Types," Computer Science Dept. Report UCLA-ENG-7785, UCLA, Los Angeles, CA (January 1978).Google Scholar
  26. 〈NAKR78〉Nakajima, R., Honda, M., and Nakahara, M., "Describing and Verifying Programs with Abstract Data Types," Formal Description of Programming Concepts (E. Neuhold, Ed.), North-Holland (1978), 527–556.Google Scholar
  27. 〈THAJ76〉Thatcher, J.W., Wagner, E.G. and Wright, J.B., "Specifications of Abstract Data Types Using Conditional Axioms," IBM Research Report RC-6214, Yorktown Heights, NY (September 1976).Google Scholar
  28. 〈THAJ78〉Thatcher, J.W., Wagner, E.G. and Wright, J.B., "Data Type Specification: Parameterization and the Power of Specification Techniques," in Proc. Tenth Annual ACM Symposium on Theory of Computing, ACM, New York (May 1978), 119–132.Google Scholar
  29. 〈WANM79〉Wand, M., "Final Algebra Semantics and Data Type Extensions," Journal of Computer and System Sciences, Vol 19 (1979), 27–44.CrossRefGoogle Scholar
  30. 〈WIRN71〉Wirth, N., "The Programming Language PASCAL," Acta Informatica, Vol. 1 (1971), 35–63.CrossRefGoogle Scholar
  31. 〈ZILS74〉Zilles, S.N., "Algebraic Specifications of Data Types," Project MAC Progress Report 11, Massachusetts Institute of Technology, Cambridge, MA, 1974, 52–58.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Stephen N. Zilles
    • 1
  1. 1.IBM San Jose Research LabSan JoseUSA

Personalised recommendations