5570 results in Programming Languages and Applied Logic
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
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