Algebraische Spezifikation von Datenstrukturen

TitleAlgebraische Spezifikation von Datenstrukturen
Publication TypeConference Paper
Year of Publication1978
AuthorsEhrich, H. - D.
Conference NameDatenstrukturen, Graphen, Algorithmen.
PublisherHanser Appl. Comp. Sc. 8, pp 48-61

The method of algebraic specification by abstract data types
is demonstrated by several examples, including general storage and
access systems and open hash tables. Then, after sketching the algebraic
background, correct realizations of data types are considered. Several
correctness proofs are outlined. Finally, problems corresponding to an
appropriate notion of realization are discussed.

1978Graphen3.pdf419.04 KB