Titre :

Haskell before Haskell. An alternative lesson in practical logics of the ENIAC.

Auteur(s) :

De Mol, Liesbeth [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Carlé, Martin [Auteur]
no affiliation
Bullynck, Maarten [Auteur]
Centre de recherches historiques : histoire des pouvoirs, savoirs et sociétés

Titre de la revue :

Journal of logic and computation

Pagination :

1011-1046

Éditeur :

Oxford University Press (OUP)

Date de publication :

2015

ISSN :

0955-792X

Mot(s)-clé(s) en anglais :

history and philosophy of computing
John von Neumann
Haskell B. Vurry
ENIAC

Discipline(s) HAL :

Informatique [cs]/Ordinateur et société [cs.CY]
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences

Résumé en anglais : [en]

This article expands on Curry's work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (1948-1950). It is shown that Curry's ...
Lire la suite >This article expands on Curry's work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (1948-1950). It is shown that Curry's hands-on experience with the ENIAC on the one side and his acquaintance with systems of formal logic on the other, were conductive to conceive a compact " notation for program construction " which in turn would be instrumental to a mechanical synthesis of programs. Since Curry's systematic programming technique pronounces a critique of the Goldstine-von Neumann style of coding, his " calculus of program composition " not only anticipates automatic programming but also proposes explicit hardware optimisations largely unperceived by computer history until Backus' famous ACM Turing Award lecture (1977). The cohesion of these findings asks for an integrative historiographical approach. An appendix gives, for the first time, a full description of Curry's arithmetic compiler.Lire moins >

Langue :

Anglais

Vulgarisation :

Non

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL