Applications of category theory to the area of algebraic specification in computer science
type: Item
instance of: scholarly article
title: Applications of category theory to the area of algebraic specification in computer science
zbMATH Open document ID: 0892.68064
DOI: 10.1023/A:1008688122154
author: Hartmut Ehrig
author: M. Große-Rhode
author: Uwe Wolter
published in: Applied Categorical Structures
publication date: 1998-07-16T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68R99
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18A25
zbMATH DE Number: 1138662
zbMATH Keywords: algebraic specifications
zbMATH Keywords: specification of abstract data types
describes a project that uses: Specware
MaRDI profile type: MaRDI publication profile
full work available at URL: a:1008688122154
OpenAlex ID: W2606499858
Recommended article: Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
Recommended article: Q4942091
Recommended article: The categorical framework of object-oriented concurrent systems
Recommended article: Q3999603
description: scientific article; zbMATH DE number 1138662