Section: New Results
Tools for the working scientist
Participants : Romain Bardou, François Bobot, Sylvain Conchon, Jean-Christophe Filliâtre, Johannes Kanig.
The Mlpost tool developped by R. Bardou, F. Bobot, J.-C. Filliâtre, J. Kanig and S. Lescuyer was presented at JFLA'09  .
S. Conchon and J.-C. Filliâtre supervised Ocamlviz, a summer project funded by Jane Street Capital (NYC, USA) and worked out by two graduate students from Université Paris-Sud. Ocamlviz is a set of tool to perform real-time monitoring of Ocaml programs. Ocamlviz is to be presented at JFLA 2010  .