scientific article

zbMATH Open0658.68005MaRDI QIDQ4039769FDOQ4039769

J. M. Spivey

Publication date: 5 June 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 42431
• scientific article; zbMATH DE number 1350767
• scientific article; zbMATH DE number 715447
• scientific article
• scientific article

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)

• Functional sorts in data type specifications
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
• Title not available (Why is that?)
• Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
• R n - and G n -logics
• Compositionality: Ontology and Mereology of Domains
• A category theory approach to conceptual data modeling
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• A hidden agenda
• Title not available (Why is that?)
• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
• Verifying atomic data types
• A calculus for schemas in Z
• On Automating the Calculus of Relations
• Building Specifications in the Event-B Institution
• Richer types for \(Z\)
• A set-theoretic semantics for Clear
• Efficient Well-Definedness Checking
• Partial functions and logics: A warning
• Encoding Z-style Schemas in type theory
• Title not available (Why is that?)

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)