Concept

Christopher Strachey

Résumé
Christopher Strachey (né le , décédé le d'une hépatite) est un informaticien britannique. Il est surtout connu comme l'un des premiers à avoir prôné une approche mathématique dans l'étude des programmes. Il est le fils du cryptographe Oliver Strachey et de l'écrivaine Ray Strachey. Il a fait ses études à la Gresham's School et à l'Université de Cambridge. En 1951, il rejoint le laboratoire informatique où travaille Alan Turing sur l'un des tout premiers ordinateurs conçus et mis en service au Royaume-Uni. Les compétences de Strachey sont si élevées que Turing lui remet de facto la supervision des programmes de recherche informatique. Pour démontrer l'approche mathématique de la programmation, Strachey 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, . La sémantique dénotationnelle est définie par récurrence (induction en anglais) sur la structure des programmes. Strachey accorde peu de place aux considérations de syntaxe, celle-ci étant accessoire en regard de la sémantique dans l'étude des langages de programmation. Il a notamment écrit : Ailleurs, cité par Dana S. Scott, il écrit : À 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.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement

MOOCs associés

Chargement