On computing the semi-sum of two integers
We derive a sound program for computing the semi-sum of two integers using only integer operators and without incurring overflow. (C) 2003 Elsevier Science B.V. All rights reserved.
formal methods program derivation