Open AccessUnified Algebras and Modules
Author(s) -
Peter D. Mosses
Publication year - 1988
Publication title -
daimi report series
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom