The meaning of specifications I: Domains and initial models

DOI10.1016/0304-3975(95)00245-3zbMATH Open0872.68104OpenAlexW1967811553MaRDI QIDQ673181FDOQ673181

Authors: Wilfrid Hodges 

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00245-3

Recommendations

• scientific article; zbMATH DE number 554481
• scientific article; zbMATH DE number 1368951
• Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics

zbMATH Keywords

algebraic specificationsspecification languagebehaviour of a systemdomain-theoretic semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Title not available (Why is that?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic specifications of computable and semicomputable data types
• Why Horn formulas matter in computer science: initial structures and generic examples
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Specifications, models, and implementations of data abstractions
• Title not available (Why is that?)
• Algebraic specification of data types: A synthetic approach
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Characterizing specification languages which admit initial semantics
• Title not available (Why is that?)
• Generalization of final algebra semantics by relativization
• Specifying with syntactic theory functors
• Functorial semantics of first-order views
• Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
• Functorial theory of parameterized specifications in a general specification framework
• Initial semantics of logic specifications with negation
• Title not available (Why is that?)

Uses Software

• LARCH

This page was built for publication: The meaning of specifications I: Domains and initial models

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