Approches mathématiques de l'analyse de programmes

par Yoann Barszezak

Projet de thèse en Mathématiques et Informatique

Sous la direction de Tom Hirschowitz.

Thèses en préparation à Chambéry , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique , en partenariat avec Laboratoire de mathématiques (laboratoire) depuis le 01-09-2021 .


  • Résumé

    Ce projet s'inscrit dans le cadre de l'élaboration d'une théorie des langages de programmation, au sens d'une boîte à outils mathématique pour concevoir, analyser et relier entre eux des langages de programmation. Le but principal est la conception d'approches génériques de l'analyse de programmes, principalement les équivalences et les logiques de programmes. Une étape importante est l'analyse mathématique du typage statique.

  • Titre traduit

    Mathematical approaches to programm analysis


  • Résumé

    This projects is part of the elaboration of a theory for programming languages, that is a toolbox to write, analyse and link together programming laguages. The main goal is the conception of generic approaches of programming languages, including equivalences (e.g bisimulations) and logic programming. An important step is the mathematical analysis of static typing.