Procedural implementation of algebraic specifications of abstract data types
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)
KeywordsActual 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.
- 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
© Springer-Verlag Berlin Heidelberg 1987