Christopher Strachey 102967 25899019 2008-02-08T12:46:20Z DumZiBoT 280295 Robot : Passage au modèle {{ébauche}} : {{ébauche|personne|informatique}} {{ébauche|personne|informatique}} '''Christopher Strachey''' (né en [[1916]], décédé en [[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. <br>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<ref>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.</ref>: ''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]]<ref>Dana S. Scott: Some Reflections on Strachey and His Work. Higher-Order and Symbolic Computation 13(1/2): 103-114 (2000)</ref>, 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é.'' En effet, à l'époque la recherche se focalisait plutôt sur le développement de la [[théorie des langages]] et son application à la construction des [[compilateur]]s, avec des avancées incontestables qui ont abouti à des outils de [[compilateur de compilateur|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éteur|interprète]]s et [[compilateur]]s) sont * d'une part la syntaxe (facile) pour laquelle il faut des outils puissants, * d'autre part la [[sémantique]] (plus difficile) qu'il faut maîtriser. Grâce à lui, ces deux concepts ont été clairement séparés, ce qui n'a pas été évident à l'époque. Christopher Strachey pensait que 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é [[Combined Programming Language|CPL]] puis [[BCPL]], dont se sont inspirés [[Ken Thompson]] pour créer [[B (langage)|B]] et [[Dennis Ritchie]] pour le langage [[C (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 » <ref>“Time Sharing in Large Fast Computers,” (''Proceedings of the International Conference on Information Processing'', Article B.2.19, UNESCO, New York, Juin 1959). Quelques années avant sa mort, il publia un article dans [[Scientific American]] résumant l'essentiel de ses travaux et présentant la puissance de son langage de prédilection à l'époque, qui était [[Smalltalk]]. </ref> ==Références== <references /> {{DEFAULTSORT:Strachey, Christopher}} [[Catégorie:Naissance en 1916]] [[Catégorie:Décès en 1975]] [[Catégorie:Personnalité britannique en informatique]] [[Catégorie:Personnalité en compilation]] [[Catégorie:Greshamien]] [[en:Christopher Strachey]]