On Realization and Implementation

TitleOn Realization and Implementation
Publication TypeConference Paper
Year of Publication1981
AuthorsEhrich, H. - D.
Conference NameMFCS
Date Published1981
PublisherSpringer LNCS 118
Abstract

We give a fundamental notion of implementation of one algebraic data type
by another one that gives a unifying framework for studying various recent approaches
to algebraic implementation, and at the same time is consistent with the classical
theory of finite automata realization developed by Hartmanis and Stearns. Much uniformity
and simplicity is achieved by discarding reduction problems from automata
realization as well as specification problems from algebraic data type implementation.
As a result of our approach, we get new insights in the composability of
algebraic implementations and the existence of normal forms for algebraic implementations.

AttachmentSize
1981MFCS.pdf167.47 KB