On computing the semi-sum of two integers

  • Authors:
  • Salvatore Ruggieri

  • Affiliations:
  • Dipartimento di Informatica, Università di Pisa, Via F. Buonarroti 2, 56125 Pisa, Italy

  • Venue:
  • Information Processing Letters
  • Year:
  • 2003

Quantified Score

Hi-index 0.89

Visualization

Abstract

We derive a sound program for computing the semi-sum of two integers using only integer operators and without incurring overflow.