
Search the dblp DataBase
Damien Doligez:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
Cache Coherence Verification with TLA+. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:18711872 [Conf]
 Damien Doligez, Georges Gonthier
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP] POPL, 1994, pp:7083 [Conf]
 Damien Doligez, Xavier Leroy
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. [Citation Graph (0, 0)][DBLP] POPL, 1993, pp:113123 [Conf]
 Virgile Prevosto, Damien Doligez, Thérèse Hardin
Algebraic Structures and Dependent Records. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:298313 [Conf]
 Virgile Prevosto, Damien Doligez
Algorithms and Proofs Inheritancey in the FOC Language. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:29, n:34, pp:337363 [Journal]
 Richard Bonichon, David Delahaye, Damien Doligez
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:151165 [Conf]
Verifying Safety Properties with the TLA+ Proof System. [Citation Graph (, )][DBLP]
The TLA^{+} Proof System: Building a Heterogeneous Verification Platform. [Citation Graph (, )][DBLP]
A TLA+ Proof System. [Citation Graph (, )][DBLP]
A foundation for flowbased program matching: using temporal logic and model checking. [Citation Graph (, )][DBLP]
Hashconsing in an incrementally garbagecollected system: a story of weak pointers and hashconsing in ocaml 3.10.2. [Citation Graph (, )][DBLP]
A TLA+ Proof System [Citation Graph (, )][DBLP]
Search in 0.024secs, Finished in 0.025secs
