Algebraic specifications of computable and semi-computable data structures
Publication date
1987
Authors
Bergstra, J.A.
Tucker, J.V.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
An extensive survey is given of the properties of various specification mechanisms based on initial algebra semantics