- Contacts/Reaching LIFO
- Teaching
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Go to publications of year : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025
[hal-04859489:1]
Jérémy Damour, Allan Blanchard, Loïc Correnson & Frédéric Loulergue, Formalisation d'une analyse de région pour Frama-C/WP, in 36es Journées Francophones des Langages Applicatifs (JFLA 2025). Roiffé, France. 01. 2025. [URL]
[hal-04795983:1]
Jordan Ischard, Frederic Dabrowski, Jules Chouquet & Frédéric Loulergue, A Mechanized Formalization of an FRP Language with Effects, in ACM Symposium on Applied Computing (SAC), ACM (Ed.). Sicily, Italy. 03. 2025. [URL]
International Conference or Workshop with Proceedings
[hal-04859489:1]
Jérémy Damour, Allan Blanchard, Loïc Correnson & Frédéric Loulergue, Formalisation d'une analyse de région pour Frama-C/WP, in 36es Journées Francophones des Langages Applicatifs (JFLA 2025). Roiffé, France. 01. 2025. [URL]
[hal-04795983:1]
Jordan Ischard, Frederic Dabrowski, Jules Chouquet & Frédéric Loulergue, A Mechanized Formalization of an FRP Language with Effects, in ACM Symposium on Applied Computing (SAC), ACM (Ed.). Sicily, Italy. 03. 2025. [URL]
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 