Specifying algebraic data types by domain equations

Abstract

The paper provides 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.