L'importance des langages en informatique

Cliquer sur l'image pour lancer la vidéo (1h:39 mn)

Les questions de la salle à 1:11 mn

Les langages sont omniprésents en informatique, ce à de nombreux niveaux: spécification, architecture, programmation, test, documentation, etc. Les plus connus sont les langages de programmation, qui traduisent directement nos idées algorithmiques en instructions d’ordinateurs. Ils ont été développés historiquement en très grand nombre, avec des des méthodes de pensée et d’action, des syntaxes et des sémantiques très variées, parfois complémentaires et parfois franchement incompatibles. Les moins bien développés sont les langages de spécification, qui constituent sans doute le point faible principal de la réalisation des systèmes.

L’exposé étudie l’évolution des différents modes de pensée qui ont conduit aux langages actuels, en insistant sur les critères qui favorisent ou empêchent le succès d’un langage donné. Il montre l’importance des approches formelles et de l’incorporation directe de  la vérification dans les langages, sujet traité dans le séminaire de Thomas Jensen qui suit le cours.

Integrating verification in programming languages

Les questions de la salle à 56:50 mn

La phase de validation d'un logiciel occupe une partie importante du temps consacré à sa conception.  Afin d'optimiser  ce processus, plusieurs langages proposent d'intégrer des constructions linguistiques qui aident à la vérification formelle de propriétés de sureté et de sécurité. Dans cet exposé, je suis revenu sur les contrats de logiciels comme ceux utilisés dans le langage Spec#, j'ai comparé la vérification dynamique et statique de contrats de logiciels, et examiné des propositions plus récentes sur la vérification de propriétés de sécurité en Java à base de spécifications.

Mots-clés : Collège de France Gérard berry Cours INRIA Rennes - Bretagne Atlantique Langage Informatique