. Références, Alt-Ergo, the SMT solver for software verication

D. Js, JavaScript library for manipulating documents based on data

M. D. Bond and K. S. Mckinley, Bell : bit-encoding online memory leak detection, SIGPLAN Not, vol.41, p.6172, 2006.

C. Bozman, M. Mauny, F. L. Fessant, and T. Gazagnaire, Study of OCaml programs' memory behavior. OCAml Users and Developers, 2012.

C. Bozman, M. Mauny, F. L. Fessant, and T. Gazagnaire, Proling the memory usage of OCaml applications without changing their behavior, 2013.

S. Conchon, J. Filliâtre, F. Le-fessant, J. Robert, and G. V. Tokarski, Observation temps-réel de programmes Caml, 2010.

S. Conchon, A. Goel, S. Krstic, A. Mebsout, and F. Zaïdi, Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems, Madhusudan and Seshia, p.718724
DOI : 10.1007/978-3-642-31424-7_55

URL : https://hal.archives-ouvertes.fr/hal-00799272

D. Doligez and X. Leroy, A concurrent, generational garbage collector for a multithreaded implementation of ML, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, p.113123, 1993.
DOI : 10.1145/158511.158611

URL : https://hal.archives-ouvertes.fr/hal-01499969

M. Jump and K. S. Mckinley, Cork : dynamic memory leak detection for garbage-collected languages, SIGPLAN Not, vol.42, p.3138, 2007.

F. , L. Fessant, and S. Patarin, MLdonkey, a multi-network peer-to-peer le-sharing program, 2003.

N. Mitchell, Leakbot : An automated and lightweight tool for diagnosing memory for diagnosing memory leaks in large applications, 2003.