We derive a sound program for computing the semi-sum of two integers using only integer operators and without incurring overflow.
On computing the semi-sum of two integers
RUGGIERI, SALVATORE
2003-01-01
Abstract
We derive a sound program for computing the semi-sum of two integers using only integer operators and without incurring overflow.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.