Fatal errors in conditional expressions (extended abstract)

DOI10.1007/3-540-61440-0_124MaRDI QIDQ4818831zbMATH OpenFDO

Authors Michel Billaud

Publication date 24 September 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61440-0_124

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3870581
• scientific article; zbMATH DE number 4014682
• Adas and the equational theory of if-then-else
• Quasi-boolean equivalence
• Proof systems for reasoning about computation errors

Cited in

(3)

• Quasi-boolean equivalence
• Logical conditions in programming languages: review, discussion and generalization
• The DNF exception problem

This page was built for publication: Fatal errors in conditional expressions (extended abstract)

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