|
Search the dblp DataBase
Clément Hurlin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
Separation Logic Contracts for a Java-Like Language with Fork/Join. [Citation Graph (, )][DBLP]
Reasoning about Java's Reentrant Locks. [Citation Graph (, )][DBLP]
Specifying and checking protocols of multithreaded classes. [Citation Graph (, )][DBLP]
Automatic Parallelization and Optimization of Programs by Proof Rewriting. [Citation Graph (, )][DBLP]
Specifying Correct Protocols of Multithreaded Java-like Programs. [Citation Graph (, )][DBLP]
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|