Skip to main content
SpringerLink
Log in
Book cover

International Conference on Fundamentals of Computation Theory

FCT 1987: Fundamentals of Computation Theory pp 288–292Cite as

Procedural implementation of algebraic specifications of abstract data types

  • Conference paper
  • First Online:

  • 145 Accesses

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Guttag, J.V.; Horning, J.J. The Algebraic Specification of Abstract Data types. Acta Inform. 10(1978), no.1, 27–52.

    Google Scholar 

  2. Hoare, C.A.R. Proof of Correctness of Data Representation. Acta Inform. 1(1972), no.4, 271–281.

    Google Scholar 

  3. Ehrig, H.; Kreowski, H.-J.; Padavitz, P. Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. Automata, languages and programming. (Proc. Seventh Internat. Colloc., Noordwijkerhout, 1980), pp. 142–153. Lecture Notes in Comput. Sci., 85, Springer, Berlin, 1980.

    Google Scholar 

  4. Lomazova I.A. Hoare's Logic for Functional Programs (Russian), Problems of System and Theoretical Programming (Russian), pp. 148–156. Nov.Gos.Univer., Novosibirsk, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Krasnoyarsk State University, 660062, Krasnoyarsk, USSR

    I. A. Lomazova

Authors
  1. I. A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lothar Budach Rais Gatič Bukharajev Oleg Borisovič Lupanov

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lomazova, I.A. (1987). Procedural implementation of algebraic specifications of abstract data types. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_61

Download citation

  • DOI: https://doi.org/10.1007/3-540-18740-5_61

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18740-0

  • Online ISBN: 978-3-540-48138-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation