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 methodsinstitution theoryspecification languagesstructured specifications

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) 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

• 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
• 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?)
• 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)

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

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)