A categorical study on the finiteness of specifications

DOI10.1016/J.IPL.2008.04.001MaRDI QIDQ975404zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 9 June 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2008.04.001

zbMATH Keywords

formal methodsinstitutionsspecifications

Mathematics Subject Classification ID

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

Recommendations

• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Categorical abstract algebraic logic: models of -institutions
• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 4097351
• scientific article; zbMATH DE number 3864486

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1998330 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 2196612 (Why is no real title available?)
• Categorical abstract algebraic logic: Algebraizable institutions
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Logic representation in LF
• Module algebra
• Proof Systems for Institutional Logic
• Saturated models in institutions
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Specifications in an arbitrary institution
• The completeness of the first-order functional calculus

Cited in

(5)

• Categorical concepts for parameterized partial specifications
• A Bicategorical Model for Finite Nondeterminism
• Optionality, scope, and licensing: An application of partially ordered categories
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Saturated models in institutions

This page was built for publication: A categorical study on the finiteness of specifications

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