5570 results in Programming Languages and Applied Logic
Mathematics in the age of the Turing machine
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 253-298
-
- Chapter
- Export citation
Transfinite machine models
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 493-529
-
- Chapter
- Export citation
Turing and the discovery of computability
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 467-492
-
- Chapter
- Export citation
Contents
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp v-vi
-
- Chapter
- Export citation
3 - Separation logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 16-24
-
- Chapter
- Export citation
28 - More 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 208-216
-
- Chapter
- Export citation
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 362-362
-
- Chapter
- Export citation
21 - Lifted separation logics
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 134-140
-
- Chapter
- Export citation
14 - Simplification by rewriting
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 89-93
-
- Chapter
- Export citation
2 - Hoare logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 10-15
-
- Chapter
- Export citation
10 - Covariant recursive predicates
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 63-68
-
- Chapter
- Export citation
V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 294-294
-
- Chapter
- Export citation
18 - Case study: Separation logic with first-class functions
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 111-122
-
- Chapter
- Export citation
42 - Juicy memories
- 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 385-391
-
- Chapter
- Export citation
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