Real-Time Monitoring of Ocaml programs - Archive ouverte HAL Access content directly
Conference Papers Year : 2011
No file

Dates and versions

hal-00941407 , version 1 (03-02-2014)


  • HAL Id : hal-00941407 , version 1


Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume von Tokarski. Real-Time Monitoring of Ocaml programs. JFLA 2010, Jan 2010, Vieux-Port La Ciotat, France. pp.159-185. ⟨hal-00941407⟩
171 View
0 Download


Gmail Mastodon Facebook X LinkedIn More