Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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.
Source officielle
À 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.