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
Type de document :
Article dans une revue
Stud. Inform. Univ., 2011, 9 (1), pp.159-185
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00941407
Contributeur : Jérôme Durand-Lose <>
Soumis le : lundi 3 février 2014 - 17:52:22
Dernière modification le : vendredi 10 novembre 2017 - 14:52:04

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

177