Comorphisms of structured institutions

Authors:
Ionu Uu
Affiliations:
Department of Computer Science, Royal Holloway University of London, United Kingdom and Institute of Mathematics of the Romanian Academy, Research group of the project ID-3-0439, Romania
Venue:
Information Processing Letters
Year:
2013

Citing 11
Cited 0

Specifications in an arbitrary institution

Information and Computation - Semantics of Data Types
Algebraic specifications of reachable higher-order algebras

Lecture notes in Computer Science on Recent trends in data type specification
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Logical support for modularisation

Papers presented at the second annual Workshop on Logical environments
Logical systems for structured specifications

Theoretical Computer Science
Comorphism-Based Grothendieck Logics

MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Moving Between Logical Systems

Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Institution-independent Model Theory

Institution-independent Model Theory
An axiomatic approach to structuring specifications

Theoretical Computer Science
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development
Borrowing interpolation

Journal of Logic and Computation

Quantified Score

Hi-index	0.89

Visualization

Abstract

In this paper we formalise the intuition of encoding an institution of structured specifications into another one by extending the concept of institution comorphism to the abstract framework of structured institutions. This allows us to define a category of comorphisms of structured institutions, and supports in this way the development of heterogeneous specification languages in which the actual structuring mechanisms may vary, in addition to the base logical systems. We consider a number of properties with practical relevance for the comorphisms between base institutions and discuss their implications in the structured setting.