Refining exceptions in four-valued logic

DOI10.1007/978-3-642-12592-8_9MaRDI QIDQ3558290zbMATH OpenOpenAlexFDO

Authors Susumu Nishimura

Publication date 4 May 2010

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12592-8_9

Mathematics Subject Classification ID

Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Exits in the refinement calculus
• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 1303996
• Exception tracking in an open world
• A four-valued logic for reasoning about finite and infinite computation errors in programs

Cited in

(1)

• Exception tracking in an open world

This page was built for publication: Refining exceptions in four-valued logic

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