Detecting equivalence of modular specifications with categorical diagrams

DOI10.1016/S0304-3975(98)00232-1zbMath0949.68103MaRDI QIDQ1583247

C. Oriat

Publication date: 26 October 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

modular specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

A language for configuring multi-level specifications ⋮ Theory Presentation Combinators ⋮ ON COLIMITS OVER ARBITRARY POSETS

Uses Software

• Specware

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized algebraic theories and contextual categories
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Sheaf semantics for concurrent interacting objects
• Initial Algebra Semantics and Continuous Algebras
• Sketches and computation – I: basic definitions and static evaluation
• Sketches and computation – II: dynamic evaluation and applications
• Compositionality results for different types of parameterization and parameter passing in specification languages
• Detecting isomorphisms of modular specifications with diagrams
• A model inference system for generic specification with application to code sharing
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Detecting equivalence of modular specifications with categorical diagrams