scientific article; zbMATH DE number 1543063

zbMATH Open0960.68002MaRDI QIDQ4520518FDOQ4520518

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

overflow detection logic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

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)