Comorphisms of structured institutions

DOI10.1016/j.ipl.2013.09.003zbMath1284.68417OpenAlexW190438537MaRDI QIDQ2445331

Ionuţ Ţuţu

Publication date: 14 April 2014

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

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

zbMATH Keywords

specification languagesformal methodsinstitution theorystructured specifications

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

On the existence of translations of structured specifications

Uses Software

• CafeOBJ

Cites Work

• 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.
• Grothendieck inclusion systems
• Grothendieck institutions
• Institution morphisms
• Specifications in an arbitrary institution
• Logical systems for structured specifications.
• Institution-independent model theory
• Borrowing interpolation
• Abstract Beth definability in institutions
• Institutions: abstract model theory for specification and programming
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Institutional 2-cells and Grothendieck Institutions
• A formulation of the simple theory of types
• Completeness in the theory of types

This page was built for publication: Comorphisms of structured institutions