Skip to main content
SpringerLink
Log in

The algorithmic specification method of abstract data types: An overview

  • Contributed Papers
  • Conference paper
  • First Online:
Mathematical Methods of Specification and Synthesis of Software Systems '85 (MMSSS 1985)

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

  • 146 Accesses

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

  1. Broy, M., Wirsing, M., Partial abstract types, Acta Inform. 18 (1982), 47–64

    Google Scholar 

  2. Cartwright, R., A constructive alternative to abstract data type definitions, Proc. 1980 LISP Conf., Stanford Univ. (1980), 46–55

    Google Scholar 

  3. Ehrig, H., Mahr, B., Fundamentals of Algebraic Specification, Springer-Verlag, 1985

    Google Scholar 

  4. Guttag, J.V., Horowitz, E., Musser, D.R., Abstract data types and software validation. Comm. ACM 21 (Dec. 1978), 1048–1069

    Google Scholar 

  5. Goguen, J.A., Meseguer, J., Initiality, Induction and Computability, SRI-CSL Techn. Rep. 140, Stanford Research Institute, December 1983

    Google Scholar 

  6. Goguen, J.A., Thatcher, J.W., Wagner, E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types. Current Trends in Programming Methodology IV (Yeh, R., Ed.), Prentice-Hall, 1978, 80–149

    Google Scholar 

  7. Klaeren, H.A., A constructive method for abstract algebraic software specification, Theor. Comp. Sc. 30, 139–204 (1984)

    Google Scholar 

  8. Lermen, C.W., OBSCURE, a specification language for algorithmic specifications, Intern. Rep., FR 10.2, Univ. Saarbrücken (in preparation)

    Google Scholar 

  9. Liskov, B., et al, CLU Reference Manual, LNCS 114, 1981

    Google Scholar 

  10. Loeckx, J., Proving properties of algorithmic specifications of abstract data types in AFFIRM. AFFIRM-Memo-29-JL, USC-ISI, Marina del Rey, 1980

    Google Scholar 

  11. Loeckx, J., Algorithmic specifications of abstract data types, Proc. ICALP 81, LNCS 115 (1981), 129–147

    Google Scholar 

  12. Loeckx, J., Using abstract data types for the definition of programming languages and the verification of their compilers, Int. Rep. A 81/13, FB 10, Univ. Saarbrücken (1981)

    Google Scholar 

  13. Loeckx, J., Algorithmic specifications: A constructive specification method for abstract data types, to appear in TOPLAS

    Google Scholar 

  14. Loeckx, J., Sieber, K., The Foundations of Program Verification, J. Wiley/Teubner-Verlag, New York/Stuttgart (1984)

    Google Scholar 

  15. Manna, Z., Mathematical Theory of Computation, McGraw-Hill (1974)

    Google Scholar 

  16. Milner, R., Implementation and application of Scott's logic for computable functions. Proc. ACM Conf. on Proving Assertions about Programs, SIGPLAN Notices 7 (Jan. 1972), 1–6

    Google Scholar 

  17. Musser, D.R., Abstract data type specification in the AFFIRM System. IEEE Trans. on Softw. Eng. SE-6 (1980), 24–32

    Google Scholar 

  18. Nakajima, R., Yuasa, T., The IOTA Programming System, LNCS 160, 1983

    Google Scholar 

  19. Reichel, H., Initially-restricting algebraic theories, Proc. 9th FCS, LNCS 88, 460–473 (1980)

    Google Scholar 

  20. Sannella, D., A set-theoretic semantics for CLEAR, Acta Inform. 21, 5, 443–472 (1984)

    Google Scholar 

  21. Shaw, M. (ed.), ALPHARD, Form and Content, Springer-Verlag, 1981

    Google Scholar 

  22. Thompson, D.H. (Ed.), AFFIRM Reference Manual. Internal Report, USC-ISI, Marina del Rey (1979)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachrichtung 10.2 Informatik, Universität des Saarlandes, D - 6600, Saarbrücken

    Jacques Loeckx

Authors
  1. Jacques Loeckx
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Bibel Klaus P. Jantke

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Loeckx, J. (1986). The algorithmic specification method of abstract data types: An overview. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-16444-8_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16444-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation