Specifying algebraic data types by domain equations

TitleSpecifying algebraic data types by domain equations
Publication TypeConference Paper
Year of Publication1981
AuthorsEhrich, H. - D.
Conference NameFCT
PublisherSpringer LNCS 117
Abstract

The paper nrovides the theoretical foundation for a new algebraic specification
method, using parameterized specifications and algebraic domain equations,
an algebraic analogon to the domain equations used in Scott's theory of data types.
The main result is that algebraic domain equations always have an initial solution.
Also, a parametric version of algebraic domain equations is investigated. In either
case, there is a simple syntactic solution method

AttachmentSize
1981FCT-ADE.pdf485.92 KB