research
∙
01/30/2019
Egyptian multiplication and some of its ramifications
Fast exponentiation with an integer exponent relies on squaring of the b...
share
research
∙
12/21/2018
Correct by construction
Matrix code allows one to discover algorithms and to render them in code...
research
∙
10/27/2018
Beyond Structured Programming
The correctness of a structured program is, at best, plausible. Though t...
research
∙
01/26/2012
Constraint Propagation as Information Maximization
This paper draws on diverse areas of computer science to develop a unifi...
research
∙
09/11/2003