Présentation
Cette année, le cours de Xavier Leroy sera consacré au problème de l’équivalence entre programmes : comment établir que deux programmes ont des comportements identiques ou compatibles ? Cette question se pose dans plusieurs domaines, de la vérification de compilateurs au test de nonrégression et à la correction automatique d’exercices de programmation, et joue un rôle important dans la sémantique formelle des langages de programmation.