105 results on '"LEROY, XAVIER"'
Search Results
2. Principes de prise en charge thérapeutique des tumeurs rénales de l'adulte
3. Pseudotumeurs rénales
4. Immunohistochimie – techniques moléculaires
5. Synthèse – conclusion
6. Tumeurs neuroendocrines rénales et de l’appareil juxtaglomérulaire
7. Formal C Semantics: CompCert and the C Standard
8. Les tumeurs papillaires et entités tumorales récentes
9. Carcinomes rénaux à translocation
10. Formal Proofs of Code Generation and Verification Tools
11. Mechanized Semantics for Compiler Verification
12. A Formally-Verified Alias Analysis
13. Validating LR(1) Parsers
14. Validating Register Allocation and Spilling
15. Formal Verification of a C Compiler Front-End
16. Coinductive Big-Step Operational Semantics
17. A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
18. Formal Verification of a Memory Model for C-Like Imperative Languages
19. Call-by-Value Mixin Modules
20. Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
21. Computer Security from a Programming Language and Static Analysis Perspective
22. Mixin Modules in a Call-by-Value Setting
23. On-Card Bytecode Verification for Java Card
24. Java Bytecode Verification: An Overview
25. Security Properties of Typed Applets
26. Dynamics in ML
27. 18 - Immunohistochimie – techniques moléculaires: Immunohistochemistry – molecular techniques
28. Synthèse – conclusion: Synthesis – conclusion
29. 16 - Pseudotumeurs rénales: Renal pseudotumors
30. 6 - Carcinomes rénaux à translocation: Translocation associated renal cell carcinoma
31. 13 - Tumeurs neuroendocrines rénales et de l’appareil juxtaglomérulaire: Neuroendocrine and juxtaglomerular renal tumors
32. 5 - Les tumeurs papillaires et entités tumorales récentes: Papillary tumors and recent entities
33. 2 - Principes de prise en charge thérapeutique des tumeurs rénales de l'adulte: Therapeutic guidelines for renal tumor of adults
34. Introduction
35. Concurrent separation logic
36. More C programs
37. Higher-order Hoare logic
38. Generic separation logic
39. Formal Verification of an Optimizing Compiler
40. Verifiable C
41. Predicate implication and subtyping
42. Separation logic as a logic
43. Bibliography
44. Mechanized Semantic Library
45. Operators on separation algebras
46. How to specify a compiler
47. Operational semantics of CompCert
48. Separation algebras
49. A little case study
50. Separation logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.