Comorphisms of structured institutions

DOI10.1016/J.IPL.2013.09.003MaRDI QIDQ2445331zbMATH OpenOpenAlexFDO

Authors 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

formal methodsspecification languagesinstitution theorystructured specifications

Mathematics Subject Classification ID

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

Recommendations

• Institution morphisms
• scientific article; zbMATH DE number 3864486
• scientific article; zbMATH DE number 1497815
• scientific article; zbMATH DE number 1929971
• Structured theories and institutions

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• A formulation of the simple theory of types
• Abstract Beth definability in institutions
• An axiomatic approach to structuring specifications
• Borrowing interpolation
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Completeness in the theory of types
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Foundations of algebraic specification and formal software development.
• Grothendieck inclusion systems
• Grothendieck institutions
• Institution morphisms
• Institution-independent model theory
• Institutional 2-cells and Grothendieck Institutions
• Institutions: abstract model theory for specification and programming
• Logical systems for structured specifications.
• On the algebra of structured specifications
• Specifications in an arbitrary institution

Cited in

(9)

• SpeX: a rewriting-based formal specification environment
• scientific article; zbMATH DE number 1303734 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Structured theories and institutions
• On the existence of translations of structured specifications
• Institution morphisms
• Generalized Theoroidal Institution Comorphisms
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• What Is a derived signature morphism?

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Comorphisms of structured institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445331)