Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements

TitleParametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements
Publication TypeConference Paper
Year of Publication1979
AuthorsEhrich, H. - D., and V. G. Lohberger
Conference NameProceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik"
PublisherHanser-Verlag
Abstract

Equational specifications of abstract data types can be considered
as certain graphs enriched by equations. We introduce a category spec of such
specifications and show that spec has pushouts. Moreover, there is a forgetful
functor from spec to the category graph of graphs, respecting pushouts. Thus,
the patterns of graph replacement by means of pushouts are applicable to
specifications. We discuss parametric specifications and parameter substitution
on these grounds, and we give an example for a more general replacement
operation in analogy to a graph production.

AttachmentSize
1979Graphen4.pdf792.42 KB