Parameterisation for abstract structured specifications

DOI10.1016/j.tcs.2013.11.008zbMath1358.68201OpenAlexW130228130MaRDI QIDQ387996

Ionuţ Ţuţu

Publication date: 18 December 2013

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

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

zbMATH Keywords

algebraic specificationfree extensionsinstitution theoryparameterisationstructured institutions

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Functorial semantics of first-order views ⋮ Foundations for structuring behavioural specifications ⋮ On the existence of translations of structured specifications

Uses Software

• CASL
• OBJ3
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatic approach to structuring specifications
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• An institution-independent proof of the Beth definability theorem
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Specifications in an arbitrary institution
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Logical systems for structured specifications.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Institution-independent model theory
• Categories for Software Engineering
• 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

This page was built for publication: Parameterisation for abstract structured specifications