BEGIN:VCALENDAR
CALSCALE:GREGORIAN
VERSION:2.0
X-WR-TIMEZONE:Europe/Paris
METHOD:PUBLISH
PRODID:-//LIP6//www.lip6.fr//FR
X-WR-CALNAME;VALUE=TEXT:Séminaire LIP6
X-LIC-LOCATION:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
DTSTART:19810329T020000
TZNAME:GMT+02:00
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
DTSTART:19961027T030000
TZNAME:GMT+01:00
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Thèse Milla VALNET : Analyse statique par interprétation ab
 straite des langages fonctionnels et application à l'analyse d'OCaml
ORGANIZER;CN=Milla VALNET:MAILTO:Milla.Valnet@lip6.fr
DESCRIPTION:Des analyseurs statiques ont été développés avec suc
 cès pour détecter les erreurs d’exécution dans de nombreux langa
 ges. Cependant, l’analyse automatique des langages fonctionnels dem
 eure un défi en raison des fonctions récursives, des types de don
 nées algébriques récursifs et des fonctions d’ordre supérieur. 
 Les systèmes de types classiques offrent des méthodes compositionne
 lles qui ne sont, en général, pas suffisamment précises pour prouv
 er l’absence d’erreurs d’exécution telles que les échecs d’
 assertions. À l’opposé, les méthodes déductives sont plus expre
 ssives mais peuvent nécessiter l’intervention de l’utilisateur p
 our prouver les invariants.
  Cette thèse vise à concevoir une analy
 se statique de valeurs par interprétation abstraite pour un langage 
 fonctionnel pur d’ordre supérieur. Cette analyse fournit une appro
 che sûre et automatique pour découvrir des invariants et prévenir 
 les échecs d’assertions et de filtrage. Nous avons conçu une anal
 yse compositionnelle dite bottom-up : les fonctions sont analysées u
 ne seule fois, à leur point de définition, générant un résumé d
 e leur comportement. Ces résumés peuvent être vus comme des relati
 ons entrée-sortie exprimées dans des domaines abstraits relationnel
 s. Cette analyse a été implémentée dans la plateforme Mopsa pour 
 un sous-ensemble pur d'OCaml.
DTSTAMP:20260904T102825Z
DTSTART;TZID=Europe/Paris:20260910T150000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/actualite/personnes-fiche.php?ident=D2653
UID:LIP6/SEM/D2653
LOCATION:Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/10
 5)
GEO:48.847047;2.354619
END:VEVENT
END:VCALENDAR