scientific article; zbMATH DE number 192880

MaRDI QIDQ4039769zbMATH OpenFDO

Authors J. M. Spivey

Publication date 5 June 1993

zbMATH Keywords

denotational semanticsZspecification languageaxiomatic set theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Axiomatics of classical set theory and its fragments (03E30) Set theory (03E99)

Cited in

(21)

• A set-theoretic semantics for Clear
• On Automating the Calculus of Relations
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
• scientific article; zbMATH DE number 2013572 (Why is no real title available?)
• A category theory approach to conceptual data modeling
• Verifying atomic data types
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Partial functions and logics: A warning
• Encoding Z-style Schemas in type theory
• Building Specifications in the Event-B Institution
• A calculus for schemas in Z
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
• Richer types for \(Z\)
• Functional sorts in data type specifications
• Efficient Well-Definedness Checking
• A hidden agenda
• R n - and G n -logics
• scientific article; zbMATH DE number 4050950 (Why is no real title available?)

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 Q4039769)