Real-Time Monitoring of Ocaml programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00941407 , version 1

Citer

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⟩
169 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More