Detecting equivalence of modular specifications with categorical diagrams
type: Item
instance of: scholarly article
title: Detecting equivalence of modular specifications with categorical diagrams
zbMATH Open document ID: 0949.68103
DOI: 10.1016/S0304-3975(98)00232-1
author: C. Oriat
published in: Theoretical Computer Science
publication date: 2000-10-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1521729
zbMATH Keywords: modular specifications
describes a project that uses: Specware
MaRDI profile type: Publication
cites work: Q3997112
cites work: A model inference system for generic specification with application to code sharing
cites work: Q3695436
cites work: Q3906394
cites work: Generalized algebraic theories and contextual categories
cites work: Q3984290
cites work: Sketches and computation – I: basic definitions and static evaluation
cites work: Sketches and computation – II: dynamic evaluation and applications
cites work: Q5586439
cites work: Q5592283
cites work: Compositionality results for different types of parameterization and parameter passing in specification languages
cites work: Q3221381
cites work: Sheaf semantics for concurrent interacting objects
cites work: Q3332238
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q5639839
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q3687683
cites work: Detecting isomorphisms of modular specifications with diagrams
cites work: Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
cites work: Q3470629
cites work: Q3777431
cites work: Q4385539
description: scientific article; zbMATH DE number 1521729