45 results on '"LEROY, XAVIER"'
Search Results
2. Concurrent separation logic
3. More C programs
4. Higher-order Hoare logic
5. Generic separation logic
6. Verifiable C
7. Predicate implication and subtyping
8. Separation logic as a logic
9. Bibliography
10. Mechanized Semantic Library
11. Operators on separation algebras
12. How to specify a compiler
13. Operational semantics of CompCert
14. Separation algebras
15. A little case study
16. Separation logic
17. Separation logic for CompCert
18. The CompCert memory model
19. Share accounting
20. Share models
21. Applications
22. Juicy memories
23. First-order separation logic
24. Dependently typed C programs
25. Simplification by rewriting
26. Covariant recursive predicates
27. The VST separation logic for C light
28. Indirection theory
29. Modeling the Hoare judgment
30. Semantic model of CSL
31. Data structures in indirection theory
32. Derived rules and proof automation for C light
33. From separation algebras to separation logic
34. Proof of a program
35. Road map
36. Separation algebra for CompCert
37. CompCert
38. Applying higher-order separation logic
39. Program Logics for Certified Compilers
40. A syntactic theory of type generativity and sharing.
41. Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark.
42. Dynamics in ML.
43. Special Issue Dedicated to ICFP 2009 Editorial.
44. Editorial.
45. Program Logics for Certified Compilers
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.