Functorial semantics of first-order views

DOI10.1016/J.TCS.2016.09.009MaRDI QIDQ344796zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1487474
• scientific article; zbMATH DE number 554481
• The meaning of specifications I: Domains and initial models
• Functorial theory of parameterized specifications in a general specification framework
• Functorial polymorphism

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3898210 (Why is no real title available?)
• scientific article; zbMATH DE number 44668 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• A formulation of the simple theory of types
• A module system for a programming language based on the LF logical framework
• An axiomatic approach to structuring specifications
• An institution-independent proof of the Beth definability theorem
• Axiomatizability in inclusive equational logics
• CASL reference manual. The complete documentation of the common algebraic specification language.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Composing hidden information modules over inclusive institutions
• Elementary Diagrams in Institutions
• Foundations of algebraic specification and formal software development.
• Grothendieck inclusion systems
• Herbrand theorems in arbitrary institutions
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• On the algebra of structured specifications
• Parameterisation for abstract structured specifications
• Saturated models in institutions
• Structured theory presentations and logic representations
• The definition of Extended ML: A gentle introduction
• What Is a derived signature morphism?

Cited in

(4)

• Implicit Partiality of Signature Morphisms in Institution Theory
• Morphism axioms
• Partialising institutions
• Fibrations and universal view updatability

Describes a project that uses

Uses Software

• CafeOBJ
• OBJ3
• CASL
• ML

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

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