Procedural implementation of algebraic specifications of abstract data types

  • I. A. Lomazova
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


Actual Parameter Normal Disjunctive Form Procedural Implementation Correct Implementation Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Hoare, C.A.R. Proof of Correctness of Data Representation. Acta Inform. 1(1972), no.4, 271–281.Google Scholar
  3. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • I. A. Lomazova
    • 1
  1. 1.Krasnoyarsk State UniversityKrasnoyarskUSSR

Personalised recommendations