The meaning of specifications I: Domains and initial models

DOI10.1016/0304-3975(95)00245-3MaRDI QIDQ673181zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3714981 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 3539212 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• scientific article; zbMATH DE number 554481 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• Algebraic specification of data types: A synthetic approach
• Algebraic specifications of computable and semicomputable data types
• Data Type Specification: Parameterization and the Power of Specification Techniques
• 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
• Specifications, models, and implementations of data abstractions
• Why Horn formulas matter in computer science: initial structures and generic examples

Cited in

(9)

• Characterizing specification languages which admit initial semantics
• scientific article; zbMATH DE number 4043228 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 3956411 (Why is no real title available?)

Describes a project that uses

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)