Category localization semantics for specification refinements

DOI10.1007/s10472-007-9055-4zbMath1124.68063OpenAlexW2033664394MaRDI QIDQ2385430

Jerzy Tomasik, Jerzy Weyman

Publication date: 12 October 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-007-9055-4

zbMATH Keywords

FusionCategory localizationSpecification refinementsSpecware

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Localization of categories, calculus of fractions (18E35)

Related Items (2)

Logical rules as fractions and logics as sketches ⋮ Theories of initial segments of standard models of arithmetics and their complete extensions

Uses Software

• Specware
• DTRE

Cites Work

• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Category localization semantics for specification refinements