ISSN:
1572-9095
Keywords:
application of category theory
;
abstract data types
;
formal specification
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract The theory of algebraic specifications – one of the most important mathematical approaches to the specification of abstract data types and software systems – is reviewed from a mathematical and a computer science point of view. The important role of category theory in this area is discussed and it is shown how the following selected problems are treated using category theory: First, a unified framework for specification logics, second compositional semantics, third partial algebras and their specification, and fourth specifications and models for concurrent systems. For the solution of two of the problems classifying categories are used. They allow to present categories of algebras as functor categories and to derive a number of important properties from well known results for functor categories.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008688122154