Christopher Strachey


Christopher Strachey

Christopher Strachey (né le 16 novembre 1916, décédé le 18 mai 1975) est un informaticien britannique.

Il a fait ses études à la Gresham's School et à l'Université de Cambridge.

Strachey est surtout connu comme l'un des premiers à avoir prôné une approche mathématique dans l'étude des programmes. Pour cela, il a introduit l'idée de sémantique dénotationnelle (d'abord appelée mathématique) dont l'objectif est de fournir des méthodes permettant de démontrer des propriétés des programmes. Il souhaitait par là atteindre la même rigueur que dans les démonstrations mathématiques usuelles, si ce n'est plus.
L'une des principales caractéristiques de la sémantique dénotationnelle est donc qu'elle est définie par récurrence (induction en anglais) sur la structure des programmes.

Dans un premier temps, Strachey a d'abord remis les considérations de syntaxe à leur juste place, appelant que les considérations syntaxiques ne devaient pas prendre le pas sur la sémantique dans l'étude des langages de programmation.

Il a notamment écrit[1]:

Je considère les problèmes syntaxiques comme essentiellement non pertinents pour les langages de programmation ... En gros il me semble correct de penser que la sémantique est là pour ce que nous voulons dire et la syntaxe pour comment nous avons à le dire.

Ailleurs, cité par Dana S. Scott[2], il écrit:

Les problèmes de syntaxe sont beaucoup plus faciles que ceux de sémantique. Cela a comme conséquence naturelle, mais malheureuse, qu'une grande attention a été donnée aux questions syntaxiques... Rien ne pourrait être plus loin de la vérité que ce que l'incompréhension répandue et permanente de concepts aussi fondamentaux que ceux de noms et de valeurs illustre avec acuité.

À l'époque, la recherche se focalisait en effet plutôt sur la recherche d'une théorie des langages et son application à la construction des compilateurs; celle-ci conduisit d'ailleurs à une identification de plus en plus claire des concepts fondamentaux qui aboutit à des outils de méta-compilation comme Lex et Yacc.

Il mettait ainsi en évidence que les deux concepts à la base des outils de traduction des langages (interprètes et compilateurs) sont

  • d'une part la syntaxe (facile) pour laquelle il faut des outils puissants,
  • mais d'autre part aussi une sémantique (plus difficile, car n'offrant pas d'outils formels) qu'il faut maîtriser. En France, des chercheurs comme Claude Pair et Jacques Arsac s'intéressèrent rapidement au sujet.

C'est grâce à Strachey que la sémantique commença à être vue comme une question autonome et non comme simple appendice de la syntaxe (cette dernière vision était favorisée 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 idées de Chomski d'autre part).

Selon Strachey, la pratique de la programmation ne devait jamais être déconnectée de l'étude des concepts fondamentaux et vice et versa. C'est donc dans la même foulée qu'il a développé des travaux sur la sémantique et la programmation d'un petit système d'exploitation O6 6 (en 1972) en utilisant un langage de programmation universel (pour son temps) appelé CPL puis BCPL, dont se sont inspirés Ken Thompson pour créer B et Dennis Ritchie pour le langage C.

Visionnaire, Christopher Strachey posa dès 1959 les jalons et les principes du temps partagé dans un article fondateur intitulé « Le temps partagé dans les grands ordinateurs rapides » [3]. Il écrivit également dans Scientific American[4] et y fut cité dans les années 70 en tant qu'inspirateur lointain du langage Smalltalk. Il est enfin l'auteur d'un programme "historique" de composition assistée de lettres d'amour sur le Mark 1[5].

Enfin, c'est lui qui proposa pour la première fois en 1967 de distinguer entre eux le polymorphisme où 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 un autre où cette extension serait automatique, qui sera rattachée ensuite par John Reynolds et Jean-Yves Girard au lambda-calcul[6] et qui est celle des langages modernes.

Le langage de macro m4 s'inspire des travaux de Christopher Strachey[7].

Références

  1. Christopher Strachey: Fundamental Concepts in Programming Languages. Higher-Order and Symbolic Computation 13(1/2): 11-49 (2000), réimpression d'un cours doné en 1967.
  2. Dana S. Scott: Some Reflections on Strachey and His Work. Higher-Order and Symbolic Computation 13(1/2): 103-114 (2000)
  3. “Time Sharing in Large Fast Computers,” (Proceedings of the International Conference on Information Processing, Article B.2.19, UNESCO, New York, Juin 1959).
  4. Strachey, C. Systems analysis and programming. Scientific American 25(3) (1966) 112-124
  5. http://wizandchips.wordpress.com/2009/03/27/manchester-mark-i-loveletters/
  6. http://www.answers.com/topic/type-polymorphism
  7. http://www.softpanorama.org/Tools/m4.shtml

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Christopher Strachey de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Christopher Strachey — Born 16 November 1916 Hampstead, England Died 18 May 1975 Oxford, England …   Wikipedia

  • Christopher Strachey — (* 16. November 1916 in Hampstead, England; † 1975) war ein britischer Informatiker. Er war einer der Begründer der denotationellen Semantik und ein Pionier im Entwurf von Programmiersprachen. Die Familie Strachey hat berühmte Mitglieder in… …   Deutsch Wikipedia

  • Strachey — is a surname and may refer to:trachey family of Sutton Court, Somerset*John Strachey (d. 1674), friend of John Locke *John Strachey (geologist) (1671 1743), British geologist, son of the above *Sir Henry Strachey, 1st Baronet (1737–1810), British …   Wikipedia

  • Strachey — ist der Familienname folgender Personen: Christopher Strachey (1916–1975), britischer Informatiker Barbara Strachey (1912–1999), britische Autorin James Strachey (1887–1967), englischer Psychoanalytiker John Strachey (Geologe) (1671–1743),… …   Deutsch Wikipedia

  • Strachey, Christopher — SUBJECT AREA: Electronics and information technology [br] b. 16 November 1916 England d. 18 May 1975 Oxford, England [br] English physicist and computer engineer who proposed time sharing as a more efficient means of using a mainframe computer.… …   Biographical history of technology

  • Christopher Newport — For the liberal arts university, see Christopher Newport University. Captain Christopher Newport Born 1561 Limestone, London, England Died 1617 Bantam, Java Christopher Newport (1561–1617) was an English seaman and privateer. He is best known as… …   Wikipedia

  • Oliver Strachey — The sons and daughters of Sir Richard Strachey and Lady Strachey. Oliver is the fifth from the left. Oliver Strachey (3 November 1874 – 14 May 1960), a British civil servant in the Foreign Office was a cryptographer from World War I to World War… …   Wikipedia

  • Barbara Strachey — (* 17. Juli 1912; † 15. Oktober 1999 in Oxford) war eine englische BBC Mitarbeiterin und Autorin. Sie war die ältere Schwester von Christopher Strachey, einem britischen Informatiker. Einen größeren Bekanntheitsgrad erlangte sie durch ihre Arbeit …   Deutsch Wikipedia

  • Lytton Strachey — junto a Dora Carrington. Giles Lytton Strachey (Londres, 1 de marzo de 1880 Ham, Wiltshire, 21 de enero de 1932), escritor y biógrafo inglés, miembro del Círculo de Bloomsbury …   Wikipedia Español

  • CPL (programming language) — CPL Paradigm(s) multi paradigm: procedural, imperative, structured, functional Appeared in 1963 Designed by Christopher Strachey et al. Influenced by ALGOL 60 …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.