Unified Algebras and Modules
DOI:
https://doi.org/10.7146/dpb.v17i266.7620Abstract
This paper concerns the algebraic specification of abstract data types. It introduces and motivates the recently-developed framework of unified algebras, and provides a practical notation for their modular specification. It also compares unified algebras with the well known framework of order-sorted algebras, with underlies of OBJ specification language.Downloads
Published
1988-05-01
How to Cite
Mosses, P. D. (1988). Unified Algebras and Modules. DAIMI Report Series, 17(266). https://doi.org/10.7146/dpb.v17i266.7620
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.