Folgen
Damien Doligez
Damien Doligez
Chargé de recherches, Inria
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2901993
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2082004
The OCaml system release 4.11: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, J Vouillon
Inria, 2020
207*2020
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
1701996
Zenon: An extensible automated theorem prover producing checkable proofs
R Bonichon, D Delahaye, D Doligez
International Conference on Logic for Programming Artificial Intelligence …, 2007
1532007
TLA +  Proofs
D Cousineau, D Doligez, L Lamport, S Merz, D Ricketts, H Vanzetto
International Symposium on Formal Methods, 147-154, 2012
952012
The objective caml system release 3.11
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
Documentation and user’s manual. INRIA, 2008
93*2008
Verifying safety properties with the TLA+ proof system
K Chaudhuri, D Doligez, L Lamport, S Merz
International Joint Conference on Automated Reasoning, 142-148, 2010
922010
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
852009
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
812002
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
532002
The Objective Caml system release 2.02 Documentation and user’s manual
X Leroy, D Rémy, J Vouillon, D Doligez
531999
The Objective Caml system. Software and documentation available on the Web
X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy
521996
A TLA+ proof system
KC Chaudhuri, D Doligez, L Lamport, S Merz
arXiv preprint arXiv:0811.1914, 2008
482008
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
D Delahaye, D Doligez, F Gilbert, P Halmagrand, O Hermant
International Conference on Logic for Programming Artificial Intelligence …, 2013
472013
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
432010
The Objective Caml system release 3.09: Documentation and user’s manual, 2005
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
36
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
Algorithms and proofs inheritance in the FOC language
V Prevosto, D Doligez
Journal of Automated Reasoning 29 (3), 337-363, 2002
222002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20