Unifying Theories of Undefinedness in UTP

DOI10.1007/978-3-642-35705-3_1zbMath1452.68058OpenAlexW9409120MaRDI QIDQ3455642

Victor Bandur, J. C. P. Woodcock

Publication date: 11 December 2015

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://eprints.whiterose.ac.uk/94535/1/ut_undefinedness.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Z/EVES
• FDR2
• Overture Tool

Cites Work

• Edinburgh LCF. A mechanized logic of computation
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• A propositional logic with 4 values: true, false, divergent and meaningless
• A Lattice-Theoretic Characterisation of Three-Valued Logic

This page was built for publication: Unifying Theories of Undefinedness in UTP