Archive for Mathematical Logic

TitleSetting-up early computer programs: D. H. Lehmer's ENIAC computation
Publication TypeJournal Article
Year of Publication2010
AuthorsBullynck, M, De Mol, L
Secondary AuthorsBeckmann, A, Dimitracopoulos, C, Löwe, B
JournalArchive for Mathematical Logic
Volume49
Number2
Pagination123–146
ISSN1432-0665
Abstract

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).

URLhttp://dx.doi.org/10.1007/s00153-009-0169-8
Citation Key934535
Download PDF (Author PDF)
PDF author (public):