Follow
Damien Doligez
Title
Cited by
Cited by
Year
The Objective Caml system release 3.10: Documentation and user's manual
X Leroy
http://caml. inria. fr/, 2007
325*2007
A concurrent, generational garbage collector for a multithreaded implementation of ML
D Doligez, X Leroy
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
2941993
The OCaml system release 4.13: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon
Inria, 2021
213*2021
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2092004
Portable, unobtrusive garbage collection for multiprocessor systems
D Doligez, G Gonthier
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
2061994
The objective caml system
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
Software and documentation available at http://caml. inria. fr, 1996
1661996
Zenon: An extensible automated theorem prover producing checkable proofs
R Bonichon, D Delahaye, D Doligez
LPAR 4790, 151-165, 2007
1552007
TLA +  Proofs
D Cousineau, D Doligez, L Lamport, S Merz, D Ricketts, H Vanzetto
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
982012
Verifying Safety Properties with the TLA +  Proof System
K Chaudhuri, D Doligez, L Lamport, S Merz
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
942010
A foundation for flow-based program matching: using temporal logic and model checking
J Brunel, D Doligez, RR Hansen, JL Lawall, G Muller
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
842009
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
822002
The Objective Caml system, documentation and user’s manual (release 3.06)
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
INRIA, Rocquencourt, France, Tech. Rep 19, 2002
542002
A TLA+ proof system
KC Chaudhuri, D Doligez, L Lamport, S Merz
arXiv preprint arXiv:0811.1914, 2008
522008
The Objective Caml system. Software and documentation available on the Web
X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy
491996
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
D Delahaye, D Doligez, F Gilbert, P Halmagrand, O Hermant
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
472013
The TLA +  Proof System: Building a Heterogeneous Verification Platform
K Chaudhuri, D Doligez, L Lamport, S Merz
Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010
462010
The Objective Caml system release 3.09: Documentation and user’s manual, 2005
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
37
Spatial scale of local breeding habitat quality and adjustment of breeding decisions
B Doligez, A Berthouly, D Doligez, M Tanner, V Saladin, D Bonfils, ...
Ecology 89 (5), 1436-1444, 2008
332008
The OCaml system: Documentation and user’s manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon
INRIA 3, 42, 2019
222019
Algorithms and proofs inheritance in the FOC language
V Prevosto, D Doligez
Journal of Automated Reasoning 29 (3-4), 337-363, 2002
222002
The system can't perform the operation now. Try again later.
Articles 1–20