5570 results in Programming Languages and Applied Logic
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
9 - A little case study
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 55-62
-
- Chapter
- Export citation
36 - Case study: Lambda-calculus with references
- from V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 316-339
-
- Chapter
- Export citation
8 - First-order separation logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 49-54
-
- Chapter
- Export citation
33 - How to specify a compiler
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 272-287
-
- Chapter
- Export citation
7 - Operators on separation algebras
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 44-48
-
- Chapter
- Export citation
13 - From separation algebras to 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 84-88
-
- Chapter
- Export citation