The meaning of specifications I: Domains and initial models

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

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

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 (5)

• Characterizing specification languages which admit initial semantics
• Generalization of final algebra semantics by relativization
• 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

Uses Software

• LARCH

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics 👍 👎

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)