Skip to Main content Skip to Navigation
Journal articles

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 - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
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
Complete list of metadatas

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 : Tuesday, April 21, 2020 - 1:07:29 AM

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

304