The meaning of specifications I: Domains and initial models

DOI10.1016/0304-3975(95)00245-3zbMath0872.68104OpenAlexW1967811553MaRDI QIDQ673181

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

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

Uses Software

• LARCH

Cites Work

• Why Horn formulas matter in computer science: initial structures and generic examples
• Algebraic specifications of computable and semicomputable data types
• Specifications, models, and implementations of data abstractions
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• 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
• Algebraic specification of data types: A synthetic approach
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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