Vers une approche impartiale pour spécifier, implémenter, et prouver des propriétés des langages de programmation

par Ambroise Lafont

Projet de thèse en Informatique et applications

Sous la direction de Nicolas Tabareau.

Thèses en préparation à l'Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire , dans le cadre de École doctorale Sciences et technologies de l'information et mathématiques (Nantes) , en partenariat avec Ascola (equipe de recherche) depuis le 30-09-2016 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.