scientific article; zbMATH DE number 192880

MaRDI QIDQ4039769zbMATH OpenFDO

Authors J. M. Spivey

Publication date 5 June 1993

zbMATH Keywords

axiomatic set theorydenotational semanticsspecification languageZ

Mathematics Subject Classification ID

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

Cited in

(21)

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

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)