The Objective Caml system release 3.10: Documentation and user's manual X Leroy http://caml. inria. fr/, 2007 | 324* | 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 | 302 | 1993 |
The OCaml system release 5.1: Documentation and user's manual X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, KC Sivaramakrishnan, ... Inria, 2023 | 242* | 2023 |
The Objective Caml System, release 3. 08 X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon | 210 | 2004 |
Portable, unobtrusive garbage collection for multiprocessor systems D Doligez, G Gonthier Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 208 | 1994 |
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 | 168 | 1996 |
Zenon: An extensible automated theorem prover producing checkable proofs R Bonichon, D Delahaye, D Doligez International Conference on Logic for Programming Artificial Intelligence …, 2007 | 160 | 2007 |
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 | 115 | 2012 |
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 | 106 | 2010 |
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 | 90 | 2009 |
The Objective Caml system–Documentation and user’s manual X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon | 85 | 2002 |
A TLA+ proof system KC Chaudhuri, D Doligez, L Lamport, S Merz arXiv preprint arXiv:0811.1914, 2008 | 54 | 2008 |
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 | 54 | 2002 |
The Objective Caml system. Software and documentation available on the Web X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy | 51 | 1996 |
The TLA + Proof System: Building a Heterogeneous Verification Platform K Chaudhuri, D Doligez, L Lamport, S Merz International Colloquium on Theoretical Aspects of Computing, 44-44, 2010 | 49 | 2010 |
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 | 48 | 2013 |
The Objective Caml system release 3.09: Documentation and user’s manual, 2005 X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon | 38 | |
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 | 33 | 2008 |
Automated deduction in the B set theory using typed proof search and deduction modulo G Bury, D Delahaye, D Doligez, P Halmagrand, O Hermant LPAR 20: 20th International Conference on Logic for Programming, Artificial …, 2015 | 25 | 2015 |
Algorithms and proofs inheritance in the FOC language V Prevosto, D Doligez Journal of Automated Reasoning 29 (3), 337-363, 2002 | 23 | 2002 |