scientific article; zbMATH DE number 1543063

MaRDI QIDQ4520518zbMATH OpenFDO

Authors Bernd Rederlechner, Jörg Keller

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_10/a_note_on_correctness

zbMATH Keywords

overflow detection logic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• On Checking an Adder
• “Logical” arithmetic on computers with two's complement binary arithmetic
• Formal proof of integer adders using all-prefix-sums operation
• Correction to “logical” arithmetric on computers with two's complement binary arithmetic
• Overflow, Underflow, and Severe Loss of Significance in Floating-Point Addition and Subtraction

This page was built for publication:

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