Program Logics for Certified Compilers
Latest Publications

TOTAL DOCUMENTS

56
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781107256552
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Soundness of Hoare logic

2014 ◽  
pp. 25-32
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  
Keyword(s):  
Hoare Logic

Introduction

2014 ◽  
pp. 1-8
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  

Operators on separation algebras

2014 ◽  
pp. 44-48
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  

Proof of a program

2014 ◽  
pp. 195-207
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  

Semantic model of CSL

2014 ◽  
pp. 401-405
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  
Keyword(s):  
Semantic Model

Modular structure of the development

2014 ◽  
pp. 406-409
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  
Keyword(s):  
Modular Structure

Share models

2014 ◽  
pp. 374-384
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  

Predicate implication and subtyping

2014 ◽  
pp. 99-103
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  

Hoare logic

2014 ◽  
pp. 10-15 ◽  
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  
Keyword(s):  
Hoare Logic

Higher order separation logic

2014 ◽  
pp. 75-75
Author(s):  
Andrew W. Appel ◽  
Robert Dockins ◽  
Aquinas Hobor ◽  
Lennart Beringer ◽  
Josiah Dodds ◽  
...  
Keyword(s):  
Higher Order ◽  
Separation Logic ◽  
Order Separation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document