On the algebra of structured specifications

DOI10.1016/J.TCS.2011.04.008zbMath1252.68199OpenAlexW1968752495MaRDI QIDQ549182

Răzvan Diaconescu, Ionuţ Ţuţu

Publication date: 7 July 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.008

zbMATH Keywords

algebraic specificationinstitution theorystructured specificationmodule algebramodule systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (9)

Functorial semantics of first-order views ⋮ Parameterisation for abstract structured specifications ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Foundations for structuring behavioural specifications ⋮ Preservation in many-valued truth institutions ⋮ An axiomatic approach to structuring specifications ⋮ On the existence of translations of structured specifications ⋮ Comorphisms of structured institutions ⋮ CafeOBJ Traces

Uses Software

• OBJ3
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• An institution-independent proof of the Beth definability theorem
• A semantic approach to interpolation
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Logical systems for structured specifications.
• An institution-independent proof of Craig interpolation theorem
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Institution-independent model theory
• Module algebra
• Institutions: abstract model theory for specification and programming
• An Oxford survey of order sorted algebra
• Weak inclusion systems
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions
• Elementary Algebraic Specifications of the Rational Complex Numbers

This page was built for publication: On the algebra of structured specifications