%0 Journal Article %J Archive for Mathematical Logic %D 2010 %T Setting-up early computer programs: D. H. Lehmer's ENIAC computation %A Bullynck, Maarten %A De Mol, Liesbeth %E Beckmann, Arnold %E Dimitracopoulos, Costas %E Löwe, Benedikt %X

A complete reconstruction of Lehmer's ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).

%B Archive for Mathematical Logic %V 49 %P 123–146 %G eng %U http://dx.doi.org/10.1007/s00153-009-0169-8