5570 results in Programming Languages and Applied Logic
43 - Modeling the Hoare judgment
- 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 392-400
-
- Chapter
- Export citation
6 - Separation algebras
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 35-43
-
- Chapter
- Export citation
24 - The VST separation logic for C light
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 153-172
-
- Chapter
- Export citation
26 - Derived rules and proof automation for C light
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 184-194
-
- Chapter
- Export citation
41 - Share models
- 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 374-384
-
- Chapter
- Export citation
Dedication
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp v-vi
-
- Chapter
- Export citation
Foundations of Data Exchange
-
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014
21 - Structural characterizations of schema mapping
- from Part Four - METADATA MANAGEMENT
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 300-311
-
- Chapter
- Export citation
15 - XML data exchange via relations
- from Part Three - XML DATA EXCHANGE
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 206-219
-
- Chapter
- Export citation
20 - Inverting schema mappings
- from Part Four - METADATA MANAGEMENT
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 272-299
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp i-iv
-
- Chapter
- Export citation
19 - Mapping composition
- from Part Four - METADATA MANAGEMENT
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 249-271
-
- Chapter
- Export citation
7 - Query answering and rewriting
- from Part Two - RELATIONAL DATA EXCHANGE
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 75-96
-
- Chapter
- Export citation
Part One - GETTING STARTED
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 1-2
-
- Chapter
- Export citation
Dedication
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp v-vi
-
- Chapter
- Export citation
17 - What is metadata management?
- from Part Four - METADATA MANAGEMENT
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 227-229
-
- Chapter
- Export citation
16 - Endnotes to Part Three
- from Part Three - XML DATA EXCHANGE
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 220-224
-
- Chapter
- Export citation
Part Two - RELATIONAL DATA EXCHANGE
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 33-34
-
- Chapter
- Export citation
5 - Existence of solutions
- from Part Two - RELATIONAL DATA EXCHANGE
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp 43-55
-
- Chapter
- Export citation
Preface
-
- Book:
- Foundations of Data Exchange
- Published online:
- 05 June 2014
- Print publication:
- 06 March 2014, pp xi-xii
-
- Chapter
- Export citation