Skip to main content
SpringerLink
Log in

Parameterized data types in algebraic specification languages

Short version

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1980)

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

Included in the following conference series:

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.

Bibliography

  1. ADJ (JAG, JWT, EGW, JBW). "Abstract data types as initial algebras and correctness of data representations," Proceedings, Conference on Computer Graphics, Pattern Recognition and Data Structure, May 1975, pp. 89–93.

    Google Scholar 

  2. ADJ (JWT, EGW, JBW) "Specification of abstract data types using conditional axioms," IBM Research Report RC-6214, September 1976.

    Google Scholar 

  3. ADJ (JAG, JWT, EGW) "An initial algebra approach to the specification, correctness, and implementation of abstract data types," IBM Research Report RC-6487, October 1976. Current Trends in Programming Methodology, IV: Data Structuring (R. T. Yeh, Ed.) Prentice Hall, New Jersey (1978) 80–149.

    Google Scholar 

  4. ADJ (JWT, EGW, JBW) "Data Type Specification: parameterization and the power of specification techniques," Proceedings, SIGACT 10th Annual Symposium on Theory of Computing, May, 1978, pp. 119–132.

    Google Scholar 

  5. ADJ (HE, H-JK, JWT, EGW, JBW) "Parameter passing in algebraic specification languages," Technical Report to appear, 1980.

    Google Scholar 

  6. Burstall, R.M. and Goguen, J. A. "Putting Theories together to make Specifications," Proceedings 1977 IJCAI, MIT, Cambridge, MA., August, 1977.

    Google Scholar 

  7. Burstall, R.M. and Goguen, J.A. "Semantics of CLEAR," Working Note — Draft version, Department of Artificial Intelligence, Edinburgh University, January, 1979.

    Google Scholar 

  8. Burstall, R.M. and Goguen, J.A. "The semantics of CLEAR, A specification Language," Working Draft, Edinburgh University, January, 1980. To appear, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification.

    Google Scholar 

  9. Cohn, P.M. Universal Algebra, Harper and Row, New York, 1965.

    Google Scholar 

  10. Ehrich, H.-D. "On the theory of specification, implementation and parameterization of abstract data types," Research report, Dortmund, 1978. Short version, Lecture Notes in Computer Science 64 (1978) 155–164.

    Google Scholar 

  11. Ehrig, H. and Kreowski, H.-J. "Some remarks concerning correct specification and implementation of abstract data types," Technical University of Berlin, Report 77-13, August 1977.

    Google Scholar 

  12. Ehrig, H., Kreowski, H.-J. and Padawitz, P. "Stepwise specification and implementation of abstract data types," Technical University of Berlin, Report, November 1977. Proceedings 5th ICALP, Udine, July 1978: Lecture Notes in Computer Science (1978).

    Google Scholar 

  13. Ehrig, H., Kreowski, H.-J. and Padawitz, P. "Algebraic implementation of abstract data types: concept, syntax, semantics, correctness," This volume.

    Google Scholar 

  14. Goguen, J.A. and Tardo, J. "OBJ-0 preliminary users manual," UCLA, Los Angeles, CA. 1977.

    Google Scholar 

  15. Graetzer, G. Universal Algebra, Van Nostrand, Princeton, NJ, 1968.

    Google Scholar 

  16. Guttag, J.V. "The specification and application to programming of abstract data types," Univ. of Toronto, Computer Systems Research Group, Technical Report CSRG-59, September, 1975.

    Google Scholar 

  17. Guttag, J.V. "Abstract data types and the development of data structures," supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March, 1976.

    Google Scholar 

  18. Guttag, J.V. "The algebraic specification of abstract data types," USC Computer Science Department, Draft Manuscript, April, 1977.

    Google Scholar 

  19. Kreowski, Hans-Jörg. "Notes on the power of equational specification: an example," Manuscript, Technical University Berlin. September, 1979.

    Google Scholar 

  20. Liskov, Barbara, Snyder, Alan, Atkinson, Russel, and Schaffert, Craig. "Abstraction mechanisms in CLU," CACM 20, Nr. 8 (1977) 564–576.

    Google Scholar 

  21. Liskov, Barbara and Zilles, Stephen. "Programming with abstract data types," SIGPLAN Notices 9, Nr.4 (1977) 50–59.

    Google Scholar 

  22. Scott, Dana. "Mathematical concepts in programming language semantics," Proceedings, AFIPS Spring Joint Computer Conference, 1962, pp. 225–234.

    Google Scholar 

  23. Wulf, W.A., London, R.L., and Shaw, M. "An introduction to the construction and verification of Alphard programs," IEEE Transactions on Software Engineering SE-2 4 (1976)253–265.

    Google Scholar 

  24. Zilles, S.N. "An introduction to data algebras," working draft paper, IBM Research, San Jose, September, 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik (20) Institut für Software und Theoretische Informatik, Technische Universität Berlin, Otto-Suhr-Allee 18/20, D-1000, Berlin 10, Germany

    Hartmut Ehrig & Hans-Jörg Kreowski

  2. Mathematical Sciences Department, IBM Research Center, P.O. Box 218, 10598, Yorktown Heights, New York, USA

    James Thatcher, Eric Wagner & Jesse Wright

Authors
  1. Hartmut Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. James Thatcher
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eric Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jesse Wright
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jaco de Bakker Jan van Leeuwen

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrig, H., Kreowski, HJ., Thatcher, J., Wagner, E., Wright, J. (1980). Parameterized data types in algebraic specification languages. In: de Bakker, J., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 1980. Lecture Notes in Computer Science, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10003-2_68

Download citation

  • DOI: https://doi.org/10.1007/3-540-10003-2_68

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10003-4

  • Online ISBN: 978-3-540-39346-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation