Constructive Z

DOI10.1093/LOGCOM/8.1.49MaRDI QIDQ4399513zbMATH OpenOpenAlexFDO

Authors Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner

Publication date 10 December 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/8.1.49

zbMATH Keywords

obligation schemaZ-schema

Mathematics Subject Classification ID

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

Recommendations

• New foundations for Z
• A logic for schema-based program development
• Revising Z. II: Logical development
• Revising Z. I: Logic and semantics
• Intensional Z (extended abstract)

Cited in

(6)

• Nondeterminism in constructive Z
• Revisiting Zariski main theorem from a constructive point of view
• New foundations for Z
• scientific article; zbMATH DE number 549071 (Why is no real title available?)
• Intensional Z (extended abstract)
• Defining Z in Q

This page was built for publication: Constructive Z

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