Real-Time Monitoring of Ocaml programs

Sylvain Conchon 1, 2 Jean-Christophe Filliâtre 1, 2 Fabrice Le Fessant 3 Julien Robert 4 Guillaume Von Tokarski 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
3 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
UR1 - Université de Rennes 1, Inria Saclay - Ile de France, INSA - Institut National des Sciences Appliquées, CNRS - Centre National de la Recherche Scientifique : UMR
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00941407
Contributor : Jérôme Durand-Lose <>
Submitted on : Monday, February 3, 2014 - 5:52:22 PM
Last modification on : Thursday, February 7, 2019 - 4:50:33 PM

Identifiers

  • HAL Id : hal-00941407, version 1

Citation

Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski. Real-Time Monitoring of Ocaml programs. Stud. Inform. Univ., 2011, 9 (1), pp.159-185. ⟨hal-00941407⟩

Share

Metrics

Record views

272