A categorical study on the finiteness of specifications

DOI10.1016/J.IPL.2008.04.001zbMATH Open1191.68410OpenAlexW2086215341MaRDI QIDQ975404FDOQ975404

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• The completeness of the first-order functional calculus
• Saturated models in institutions
• Categorical abstract algebraic logic: Algebraizable institutions
• Module algebra
• Specifications in an arbitrary institution
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Proof Systems for Institutional Logic
• Logic representation in LF

Cited In (5)

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

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)