Module algebra for relational specifications
Files
Publication date
1986-11
Authors
Bergstra, J.A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
Module algebra is described as a parametrised data type that takes a three sorted parameter, involving signatures, renamings and atomic specifications. An actual parameter describing relational specifications is given and a biinterpretation model is made for the resulting specification.
Keywords
signature, relational structure, relational specification, module algebra, biinterpretation of module objects