1325 results in Communications, Information Theory and Security
Contents
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp vii-ix
-
- Chapter
- Export citation
22 - Verifiable C
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 142-147
-
- Chapter
- Export citation
47 - Heap theorem prover
- from VII - Applications
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 426-441
-
- Chapter
- Export citation
37 - Higher-order Hoare logic
- from V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 340-346
-
- Chapter
- Export citation
Index
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 452-458
-
- Chapter
- Export citation
27 - Proof of a program
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 195-207
-
- Chapter
- Export citation
VII - Applications
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 410-410
-
- Chapter
- Export citation
30 - Concurrent separation logic
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 222-231
-
- Chapter
- Export citation
Program Logics for Certified Compilers
-
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014
III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 141-141
-
- Chapter
- Export citation
23 - Expressions, values, and assertions
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 148-152
-
- Chapter
- Export citation
II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 75-75
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 442-451
-
- Chapter
- Export citation
25 - Typechecking for Verifiable C
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 173-183
-
- Chapter
- Export citation
20 - Applying higher-order separation logic
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 130-133
-
- Chapter
- Export citation
15 - Introduction to step-indexing
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 94-98
-
- Chapter
- Export citation
45 - Modular structure of the development
- from VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 406-409
-
- Chapter
- Export citation
17 - General recursive predicates
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 104-110
-
- Chapter
- Export citation
39 - Semantic models of predicates-in-the-heap
- from V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 351-361
-
- Chapter
- Export citation
4 - Soundness of Hoare logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 25-32
-
- Chapter
- Export citation