Articles acceptés

12 articles de recherche et 4 articles courts ont été acceptés aux JFLA 2017 (sous réserve des versions finales).

• articles de recherche:
  • M. Pereira. Défonctionnaliser pour prouver.
  • M. Puech. Typeful Continuations.
  • R. Bonichon and P. Weis. Format unraveled.
  • R. Rieu-Helft et P. Cuoq. Result graphs for an abstract interpretation-based static analyzer.
  • G. Baudart, L. Mandel, O. Tardieu et M. Vaziri CloudLens un langage de scripts pour l'analyse de données semi-structurées.
  • J. Auerbach, M. Hirzel, L. Mandel, A. Shinnar et J. Siméon. Prototyper un compilateur de requêtes avec Coq.
  • S. Boulier, P.-M. Pédrot et N. Tabareau. Modèles de la théorie des types donnés par traduction de programmes.
  • T. Bourke, P.-É. Dagand, M. Pouzet et L. Rieg. Vérification de la génération modulaire du code impératif pour Lustre.
  • N. Jeannerod. Le coquillage dans le CoLis-mateur, Formalisation d'un langage de programmation de type shell.
  • G. Cabon et A. Schmitt. Non-Interfererence through Annotated Multisemantics.
  • S. Varoumas, E. Chailloux et B. Vaugon. OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs.
  • R. Chen et J.-J. Lévy. Une preuve formelle de l'algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe.


• articles courts:
  • C. Cohen et D. Rouhling. A refinement-based approach to large scale reflection for algebra.
  • D. Janin et Bernard P. Serpette. Causalité dans les calculs d'événements.
  • M. Clochart. Preuves taillées en biseau.
  • D. Ly et J. Garrigue. Des unités dans le typeur.