Skip to main content
SpringerLink
Log in

An introduction to data algebras

  • Algebraic Semantics
  • Conference paper
  • First Online:
Abstract Software Specifications

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 86))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 〈BIRG70〉Birkhoff, G., and Lipson, J.D., "Heterogeneous Algebras," J. Combinatorial Theory, Vol. 8, No. 1 (1970), 115–33.

    Google Scholar 

  • 〈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 

  • 〈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 

  • 〈COHP65〉Cohn, P.M., Universial Algebra, Harper and Row, New York, 1965.

    Google Scholar 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈GOOJ75〉Goodenough,J., "Structured Exception Handling," Conference Record 2nd ACM Symposium on Principles of Programming Languages, ACM, January, 1975.

    Google Scholar 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈GUTJ78a〉Guttag, J.V., Horowitz, E. and Musser, D.R., "Abstract Data Types and Software Validation," CACM, Vol 21 (1978), 1048–1064.

    Google Scholar 

  • 〈GUTJ78b〉Guttag, J.V., and Horning, J.J., "The Algebraic Specification of Abstract Data Types," Acta Informatica, Vol 10, No. 1 (1978), 27–52.

    Article  Google Scholar 

  • 〈HOAC72a〉Hoare, C.A.R., "Proof of Correctness of Data Representations," Acta Informatica, Vol. 1 (1972), 271–81.

    Article  Google Scholar 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈MAJM77〉Majster, M.E., "Limits of ‘Algebraic’ Specification of Abstract Data Types," SIGPLAN Notices, Vol 12, No. 12 (December 1977), 37–42.

    Google Scholar 

  • 〈MCCJ60〉McCarthy, "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I," Comm ACM, Vol. 3, No. 4 (April 1960), 184–95.

    Article  Google Scholar 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈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 

  • 〈WANM79〉Wand, M., "Final Algebra Semantics and Data Type Extensions," Journal of Computer and System Sciences, Vol 19 (1979), 27–44.

    Article  Google Scholar 

  • 〈WIRN71〉Wirth, N., "The Programming Language PASCAL," Acta Informatica, Vol. 1 (1971), 35–63.

    Article  Google Scholar 

  • 〈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 

Download references

Author information

Authors and Affiliations

  1. IBM San Jose Research Lab, 95193, San Jose, CA, USA

    Stephen N. Zilles

Authors
  1. Stephen N. Zilles
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjøorner

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zilles, S.N. (1980). An introduction to data algebras. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_39

Download citation

  • DOI: https://doi.org/10.1007/3-540-10007-5_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10007-2

  • Online ISBN: 978-3-540-38136-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation