Category localization semantics for specification refinements

DOI10.1007/S10472-007-9055-4MaRDI QIDQ2385430zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Publication:4887584
• Categorical concepts for parameterized partial specifications
• Theory and Applications of Models of Computation
• New approach to categorical semantics for procedural languages
• scientific article; zbMATH DE number 176139
• scientific article; zbMATH DE number 92598
• Localisation of locally presentable categories
• scientific article; zbMATH DE number 3999254
• Proof-oriented categorical semantics

Cites work

• scientific article; zbMATH DE number 5604061 (Why is no real title available?)
• scientific article; zbMATH DE number 4077461 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 1086718 (Why is no real title available?)
• scientific article; zbMATH DE number 3997131 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories

Cited in

(3)

• Algebraic foundations for specification refinements
• Theories of initial segments of standard models of arithmetics and their complete extensions
• Logical rules as fractions and logics as sketches

Describes a project that uses

Uses Software

• Specware
• DTRE

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385430)