Takip et
Damien Doligez
Damien Doligez
Chargé de recherches, Inria
inria.fr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
3041993
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
255*2023
The Objective Caml System, release 3. 08
X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon
2102004
Portable, unobtrusive garbage collection for multiprocessor systems
D Doligez, G Gonthier
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
2101994
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
1681996
Zenon: An extensible automated theorem prover producing checkable proofs
R Bonichon, D Delahaye, D Doligez
International Conference on Logic for Programming Artificial Intelligence …, 2007
1642007
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
1252012
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
1092010
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
902009
The Objective Caml system–Documentation and user’s manual
X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
852002
A TLA+ proof system
KC Chaudhuri, D Doligez, L Lamport, S Merz
arXiv preprint arXiv:0811.1914, 2008
542008
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
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
512013
The Objective Caml system. Software and documentation available on the Web
X Leroy, D Doligez, J Garrigue, J Vouillon, D Rémy
511996
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
502010
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
342008
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
252015
Algorithms and proofs inheritance in the FOC language
V Prevosto, D Doligez
Journal of Automated Reasoning 29 (3), 337-363, 2002
232002
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20