Algebraic specifications of computable and semi-computable data structures

DSpace/Manakin Repository

Algebraic specifications of computable and semi-computable data structures
 
Bergstra, J.A.; Tucker, J.V.
(1987) Theoretical Computer Science : the journal of the EATCS, volume 50, issue 2, pp. 137 - 181
(Article)
Abstract
An extensive survey is given of the properties of various specification mechanisms based on initial algebra semantics
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0304-3975
Publisher: North-Holland Publishing Company
 
 
See more statistics about this item