1325 results in Communications, Information Theory and Security
34 - C light operational semantics
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 288-293
-
- Chapter
- Export citation
31 - CompCert
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 233-236
-
- Chapter
- Export citation
29 - Dependently typed C programs
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 217-221
-
- Chapter
- Export citation
16 - Predicate implication and subtyping
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 99-103
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp i-iv
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 1-8
-
- Chapter
- Export citation
IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 232-232
-
- Chapter
- Export citation
46 - Foundational static analysis
- from VII - Applications
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 411-425
-
- Chapter
- Export citation
32 - The CompCert memory model
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 237-271
-
- Chapter
- Export citation
44 - Semantic model of CSL
- 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 401-405
-
- Chapter
- Export citation
35 - Indirection theory
- from V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 295-315
-
- Chapter
- Export citation
12 - Separation logic as a logic
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 76-83
-
- Chapter
- Export citation
11 - Share accounting
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 69-74
-
- Chapter
- Export citation
40 - Separation algebra for CompCert
- 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 363-373
-
- Chapter
- Export citation
38 - Higher-order separation logic
- from V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 347-350
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp x-x
-
- Chapter
- Export citation
I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 9-9
-
- Chapter
- Export citation
Road map
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp ix-ix
-
- Chapter
- Export citation
19 - Data structures in indirection theory
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 123-129
-
- Chapter
- Export citation
5 - Mechanized Semantic Library
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 33-34
-
- Chapter
- Export citation