scientific article; zbMATH DE number 554481

MaRDI QIDQ4288283zbMATH OpenFDO

Authors Wilfrid Hodges

Publication date 3 November 1994

zbMATH Keywords

algebraic specificationfragment of set theoryleft adjointsmodel-theoretic semantics of specification languagesrecursion over structuresset-theoretic specification

Mathematics Subject Classification ID

Other notions of set-theoretic definability (03E47) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• The meaning of specifications I: Domains and initial models
• Algebraic specifications, higher-order types and set-theoretic models
• A set-theoretic semantics for Clear
• scientific article; zbMATH DE number 3956413
• Sets, types and type-checking

Cited in

(14)

• Weak monadic theories of the second order as a basis for creating data specification languages
• Specifications in an arbitrary instituion with symbols
• A uniform model theory for the specification of data and process types
• scientific article; zbMATH DE number 3883588 (Why is no real title available?)
• The Foundations of Specification
• Functorial semantics of first-order views
• On Σ‐definability without equality over the real numbers
• scientific article; zbMATH DE number 3956413 (Why is no real title available?)
• scientific article; zbMATH DE number 4043228 (Why is no real title available?)
• UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY
• The meaning of specifications I: Domains and initial models
• Modal logic and algebraic specifications
• A set-theoretic semantics for Clear
• Standard model semantics for DSL. A data type specification language

This page was built for publication:

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