On the data type extension problem for algebraic specifications (Q801668)

From the standpoint of the final (or terminal) algebra semantics of algebraic specifications, this paper considers the problem of deciding, for a given specification of an abstract data type, whether it is a data type extension. It is shown that the problem is undecidable, but there exists a large class of specifications which are data type extensions.