Constructing Specifications of Abstract Data Types by Replacements

Title	Constructing Specifications of Abstract Data Types by Replacements
Publication Type	Conference Paper
Year of Publication	1978
Authors	Ehrich, H. - D., and V. G. Lohberger
Conference Name	Proc. Int. Colloquium on Graph Grammars
Publisher	Springer LNCS 73, pp 180-191
Abstract	Categories of specifications, equational specifications, and partially labelled partial specifications of abstract data types are shown to have pushouts. These results allow us to carry over the machinery of graph replacement to specifications. We give some examples. Parametrization is considered as an important special case of replacement.

Attachment	Size
1978SpecReplace.pdf	214.4 KB

Links