Open AccessUnified Algebras and Modules
Author(s) -
Peter D. Mosses
Publication year - 1988
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v17i266.7620
Subject(s) - notation , modular design , programming language , algebraic specification , computer science , algebraic number , algebra over a field , specification language , mathematics , pure mathematics , arithmetic , mathematical analysis
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.