On local modularity variants and \(\Pi\)-institutions

DOI10.1016/S0020-0190(00)00160-5zbMath0996.68113OpenAlexW2044781466MaRDI QIDQ1603411

Paulo A. S. Veloso, Sheila R. M. Veloso

Publication date: 14 July 2002

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

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00160-5

zbMATH Keywords

specification languagesinterpretationstheory of computationmodularitysoftware engineeringformal specificationsdata typesinstitutionfamilies of specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

On a graph calculus for modalities ⋮ On graph calculi for multi-modal logics ⋮ On local modularity and interpolation in entailment systems.

Cites Work

• On the Modularization Theorem for logical specifications
• On pushout consistency, modularity and interpolation for logical specifications
• Module algebra
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On local modularity variants and \(\Pi\)-institutions