Categorical Semantics, Or Extending Data Types to Include Memory
This paper extends the algebraic theory of data types so that it can deal with issues, such as those involving memory, that can not be easily treated within the usual algebraic specification framework. The result is a simple, uniform, mathematical framework in which we can treat, not only data types and their operations, but also, the semantics of imperative languages with assignment, conditionals, while-do’s, and elementary exception handling.
KeywordsData Type Category Theory Finite Type Unique Morphism Abstract Data Type
Unable to display preview. Download preview PDF.
- ADJ (Goguen, J. A., Thatcher, J.W., Wagner, E.G.), “An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types,” in Current Trends in Programming Methodology, Volume IV, (R. Yeh, Editor), Prentice-Hall, Inc. Englewood Cliffs, NJ, 1978.Google Scholar
- MacLane, S. Categories for the Working Mathematician, Springer-Verlag, New York, Heidelberg, Berlin, 1971.Google Scholar
- Wagner, E.G., “Categorical Semantics, or Extending Data Types to Include Memory,” presented at the 3rd Workshop on Theory and Applicatons of Abstract Data Types, in Bremen, West Germany, 12–16 November, 1984.Google Scholar