Unified Algebras and Modules

Open Access

1 May 1988

journal article
Published by Det Kgl. Bibliotek/Royal Danish Library in DAIMI Report Series

Vol. 17 (266)
https://doi.org/10.7146/dpb.v17i266.7620

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, with underlies of OBJ specification language.

Keywords

UNIFIED ALGEBRAS
MOTIVATES
MODULAR
DEVELOPED FRAMEWORK
ALGEBRAIC SPECIFICATION
LANGUAGE
ALGEBRAS AND MODULES
SORTED ALGEBRAS

This publication has 0 references indexed in Scilit: