Richer types for \(Z\)

DOI10.1007/BF01211909zbMath0860.68066OpenAlexW2090792650MaRDI QIDQ1816920

Michael Spivey

Publication date: 1 December 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211909

zbMATH Keywords

formal specification language \(Z\)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A wide-spectrum language for object-based development of real-time systems

Uses Software

• ML
• Z

Cites Work

• Orderings for term-rewriting systems
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A theory of type polymorphism in programming
• Unnamed Item
• Unnamed Item
• Unnamed Item