Cet article est une ebauche concernant une personnalite britannique et l’ informatique .

Vous pouvez partager vos connaissances en l’ameliorant ( comment ? ) selon les recommandations des projets correspondants .

Christopher Strachey

Biographie

Naissance	16 novembre 1916 Hampstead
Deces	18 mai 1975 (a 58 ans) Oxford
Nationalite	britannique
Formation	King's College Gresham's School
Activites	Informaticien , ingenieur
Pere	Oliver Strachey
Mere	Ray Strachey
Fratrie	Barbara Strachey ( en )

Autres informations

A travaille pour	Universite d'Oxford
Mouvement	Bloomsbury Group
Distinction	Fellow of the British Computer Society

modifier - modifier le code - modifier Wikidata

Pour les articles homonymes, voir Strachey .

Christopher Strachey (ne le 16 novembre 1916 , decede le 18 mai 1975 d'une hepatite ^{[ 1 ]} ) est un informaticien britannique . Il est surtout connu comme l'un des premiers a avoir prone une approche mathematique dans l'etude des programmes.

Biographie [ modifier | modifier le code ]

Il est le fils du cryptographe Oliver Strachey et de l'ecrivaine Ray Strachey . Il a fait ses etudes a la Gresham's School et a l' Universite de Cambridge .

En 1951, il rejoint le laboratoire informatique ou travaille Alan Turing sur l'un des tout premiers ordinateurs concus et mis en service au Royaume-Uni . Les competences de Strachey sont si elevees que Turing lui remet de facto la supervision des programmes de recherche informatique ^{[ 2 ]} .

Pour demontrer l'approche mathematique de la programmation, Strachey a introduit l'idee de semantique denotationnelle (d'abord appelee mathematique ) dont l'objectif est de fournir des methodes permettant de demontrer des proprietes des programmes. Il souhaitait par la atteindre la meme rigueur que dans les demonstrations mathematiques usuelles, si ce n'est plus ^{[ref. necessaire]} . La semantique denotationnelle est definie par recurrence ( induction en anglais) sur la structure des programmes.

Strachey accorde peu de place aux considerations de syntaxe, celle-ci etant accessoire en regard de la semantique dans l'etude des langages de programmation. Il a notamment ecrit ^{[ 3 ]}  : ≪ Je considere les problemes syntaxiques comme essentiellement non pertinents pour les langages de programmation... En gros il me semble correct de penser que la semantique est la pour ce que nous voulons dire et la syntaxe pour comment nous avons a le dire. ≫

Ailleurs, cite par Dana S. Scott ^{[ 4 ]} , il ecrit : ≪ Les problemes de syntaxe sont beaucoup plus faciles que ceux de semantique. Cela a comme consequence naturelle, mais malheureuse, qu'une grande attention a ete donnee aux questions syntaxiques... Rien ne pourrait etre plus loin de la verite que ce que l'incomprehension repandue et permanente de concepts aussi fondamentaux que ceux de noms et de valeurs illustre avec acuite. ≫

A l'epoque, la recherche se focalisait en effet plutot sur la recherche d'une theorie des langages et son application a la construction des compilateurs  ; celle-ci conduisit d'ailleurs a une identification de plus en plus claire des concepts fondamentaux qui aboutit a des outils de meta-compilation comme Lex et Yacc .

Il mettait ainsi en evidence que les deux concepts a la base des outils de traduction des langages ( interpretes et compilateurs ) sont

• d'une part la syntaxe (facile) pour laquelle il faut des outils puissants,
• mais d'autre part aussi une semantique (plus difficile, car n'offrant pas d'outils formels) qu'il faut maitriser. En France, des chercheurs comme Claude Pair et Jacques Arsac s'interesserent rapidement au sujet.

C'est grace a Strachey que la semantique commenca a etre vue comme une question autonome et non comme simple appendice de la syntaxe (cette derniere vision etait favorisee par le fait que la reconnaissance syntaxique des constantes s'accompagnait en sous-produit de leur traduction d'une part, par l'influence dominante des idees de Noam Chomsky d'autre part).

Selon Strachey, la pratique de la programmation ne devait jamais etre deconnectee de l'etude des concepts fondamentaux et vice versa. C'est donc dans la meme foulee qu'il a developpe des travaux sur la semantique et la programmation d'un petit systeme d'exploitation O6 6 (en 1972) en utilisant un langage de programmation universel (pour son temps) appele CPL puis BCPL , dont se sont inspires Ken Thompson pour creer le langage B et Dennis Ritchie pour creer le langage C .

En 1951, il cree le premier jeu sur un ordinateur Turing-complet a usage general. Son programme de dames est un programme informatique de jeu de dames qui fonctionne pour la premiere fois, a une vitesse raisonnable, au cours de l'ete 1952 sur l'ordinateur Ferranti Mark I de l' universite de Manchester .

Visionnaire, Christopher Strachey posa des 1959 les jalons et les principes du temps partage dans un article fondateur ≪  Time Sharing in Large Fast Computers  ≫ (≪ Le temps partage dans les grands ordinateurs rapides ≫) ^{[ 5 ]} . Il ecrivit egalement dans Scientific American ^{[ 6 ]} et y fut cite dans les annees 1970 en tant qu'inspirateur lointain du langage Smalltalk . Il est enfin l'auteur d'un programme ≪ historique ≫ de composition assistee de lettres d'amour sur le Mark 1 ^{[ 7 ]} .

Enfin, c'est lui qui proposa pour la premiere fois en 1967 de distinguer entre eux le polymorphisme ou l'on devait expliciter les formes des arguments possibles (ce sera celui de PL/I et d' Algol 68 ) qu'il nomme polymorphisme ad hoc , et ce qu'il nomme le polymorphisme parametrique ou cette extension serait automatique, qui sera rattachee ensuite par John C. Reynolds et Jean-Yves Girard au lambda-calcul ^{[ 8 ]} et qui est celle des langages modernes.

Le langage de macro m4 s'inspire des travaux de Christopher Strachey ^{[ 9 ] [ref. non conforme]} .

Alan Kay , dans un entretien, indique a quel point le role de Strachey fut fondamental ^{[ 10 ]} .

Notes et references [ modifier | modifier le code ]

Bibliographie [ modifier | modifier le code ]

• Andrew Hodges ( trad.  Nathalie Zimmermann et Sebastien Baert), Alan Turing  : Le genie qui a decrypte les codes secrets nazis et invente l'ordinateur , Michel Lafon , 2014 , 702  p. ( ISBN   9782749924335 ) [ detail des editions ]

Liens externes [ modifier | modifier le code ]

• Notices d'autorite  :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • GND
  • Pays-Bas
  • Pologne
  • Israel
  • NUKAT
  • Norvege
  • WorldCat

• Portail du Royaume-Uni
• Portail de l’informatique