A calculus for schemas in Z

DOI10.1006/JSCO.1999.0347zbMATH Open0962.68112DBLPjournals/jsc/BrienM00OpenAlexW2000089287WikidataQ59505369 ScholiaQ59505369MaRDI QIDQ1583855FDOQ1583855

Authors: R. Smith 

Publication date: 30 October 2000

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2a3b0a2ca84362cc5362e9c7499e4c42e01bffaa

Recommendations

• Revising \(Z\). II: Logical development
• Revising \(Z\). I: Logic and semantics
• scientific article; zbMATH DE number 2013579
• Refinement and the Z schema calculus
• A logic for schema-based program development

zbMATH Keywords

Standard Z

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• The B-Book
• Unifying theories for logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• A structure preserving encoding of Z in Isabelle/HOL
• Refinement and the Z schema calculus
• Title not available (Why is that?)
• ZB 2005: Formal Specification and Development in Z and B
• Title not available (Why is that?)
• Title not available (Why is that?)
• Transformation rules for Z
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Negation-closure for JSON schema
• Encoding Z-style Schemas in type theory

Uses Software

• Z/EVES
• Z

This page was built for publication: A calculus for schemas in Z

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583855)