Peter J. Landin
Pour les articles homonymes, voir Landin.
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation |
Clare College King Edward VII School (en) |
| Activités |
| A travaillé pour |
|---|
Peter John Landin (, Sheffield - ) est un chercheur en informatique britannique dans le domaine de la conception des langages de programmation. Il a conçu la machine SECD, le langage de programmation ISWIM et la règle d'indentation comme syntaxe (off-side rule en anglais) et a proposé le terme de sucre syntaxique. Landin a souvent été plagié dans les titres d'articles d'informatique après qu'il a intitulé le sien, « Les 700 prochains langages de programmation ».
Landin a été un chercheur actif dans le milieu des années 1960, quand il a travaillé avec Christopher Strachey.
Biographie modifier
Landin est né à Sheffield, dans le Yorkshire du Sud, où il a fréquenté l'école King Edward VII. Ensuite, il étudie au Clare College de l'Université de Cambridge dont il est diplômé. De 1960 à 1964, il est assistant de Christopher Strachey lorsque ce dernier est consultant informatique indépendant à Londres. La plupart de ses travaux ont été publiés au cours de ces années et pendant la courte période pendant laquelle il a collaboré avec Univac et le Massachusetts Institute of Technology, aux États-Unis. Il rejoint ensuite l'Université Queen Mary de Londres[1]. Au cours des années 1970 et 1980, ses efforts se sont concentrés sur la création du département d'informatique du Queen Mary College, sur l'élaboration de cours et sur l'enseignement aux étudiants, comme indiqué dans la préface du manuel Programming from First Principles.
Publications modifier
- A Generalization of Jumps and Labels Report. UNIVAC Systems Programming Research. . Reparu dans Higher Order and Symbolic Computation, 11(2):125-143, 1998, avec une préface de Hayo Thielecke.
Notes et références modifier
- (en) Hashagen, Reinhard Keil-Slawik e Arthur L. Norberg, « History of Computing: Software Issues », .
- (en) P. J. Landin, The next 700 programming languages, Communications of the ACM, 9(3):157–166, 1966. – DOI 10.1145/365230.365257 [1]
- Peter J. Landin: Correspondence between ALGOL 60 and Church's Lambda-notation: part I. Commun. ACM 8(2): 89-101 (1965)
Voir aussi modifier
Liens externes modifier
- (en) Program Verification and Semantics: The Early Work meeting, 2001
