Unified algebras and modules
- 1 January 1989
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 329-343
- https://doi.org/10.1145/75277.75306
Abstract
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, which underlies the OBJ specification language.This publication has 0 references indexed in Scilit: