Applications of category theory to the area of algebraic specification in computer science

DOI10.1023/A:1008688122154zbMath0892.68064OpenAlexW2606499858MaRDI QIDQ1383220

Hartmut Ehrig, U. E. Wolter, Martin Grosse-Rhode

Publication date: 16 July 1998

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008688122154

zbMATH Keywords

algebraic specificationsspecification of abstract data types

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Discrete mathematics in relation to computer science (68R99) Functor categories, comma categories (18A25)

Related Items (2)

Van Kampen Colimits and Path Uniqueness ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi

Uses Software

• Specware

This page was built for publication: Applications of category theory to the area of algebraic specification in computer science