Functorial semantics of first-order views

DOI10.1016/j.tcs.2016.09.009zbMath1370.68208OpenAlexW2524176006MaRDI QIDQ344796

Răzvan Diaconescu

Publication date: 24 November 2016

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

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

zbMATH Keywords

algebraic specificationsparameterised specificationsviews

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Morphism axioms ⋮ Partialising institutions ⋮ Implicit Partiality of Signature Morphisms in Institution Theory

Uses Software

• ML
• CASL
• OBJ3
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parameterisation for abstract structured specifications
• An axiomatic approach to structuring specifications
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Grothendieck inclusion systems
• Saturated models in institutions
• An institution-independent proof of the Beth definability theorem
• Structured theory presentations and logic representations
• The definition of Extended ML: A gentle introduction
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Herbrand theorems in arbitrary institutions
• Institution-independent model theory
• What Is a Derived Signature Morphism?
• Institutions: abstract model theory for specification and programming
• A module system for a programming language based on the LF logical framework
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions
• A formulation of the simple theory of types

This page was built for publication: Functorial semantics of first-order views