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

Abstract : 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.
Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2015, 25 (4), pp.1011-1046. 〈10.1093/logcom/exs072〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.univ-lille3.fr/hal-01396482
Contributeur : Liesbeth De Mol <>
Soumis le : lundi 14 novembre 2016 - 14:56:22
Dernière modification le : mardi 3 juillet 2018 - 11:49:00
Document(s) archivé(s) le : mardi 21 mars 2017 - 00:14:40

Fichier

LC_Curry_fused3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Liesbeth De Mol, Martin Carlé, Maarten Bullynck. Haskell before Haskell. An alternative lesson in practical logics of the ENIAC.. Journal of Logic and Computation, Oxford University Press (OUP), 2015, 25 (4), pp.1011-1046. 〈10.1093/logcom/exs072〉. 〈hal-01396482〉

Partager

Métriques

Consultations de la notice

270

Téléchargements de fichiers

153