Thursday 07 March 2019, 14:00, LSV library: Dérivées et distances sur les programmes fonctionnels probabilistes, Thomas Ehrhard (IRIF).

La sémantique des langages de programmation probabiliste est un sujet de recherche très actif en ce moment. Je partirai du modèle dénotationnel des espaces cohérents probabilistes pour montrer comment le fait que les fonctions interprétant les programmes dans ce modèle de la logique linéaire admettent des dérivées permet d'avoir accès à des propriétés portant sur l'espérance de temps de calcul des programmes fonctionnels et sur leur distance contextuelle (une généralisation métrique et probabiliste de l'équivalence contextuelle de Morris).