Volume 62, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 62, Issue 4

April 2019

Special Issue: Selected Extended Papers of ITP 2015

Issue Editors:

Xingyuan Zhang,
Christian Urban

5 articles in this issue

Selected Extended Papers of ITP 2015: Preface
Xingyuan Zhang
Christian Urban
EditorialNotes 04 March 2019 Pages: 431 - 432
A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data
Frédéric Besson
Sandrine Blazy
Pierre Wilke
OriginalPaper 03 November 2017 Pages: 433 - 480
Refinement to Imperative HOL
Peter Lammich
OriginalPaper 03 October 2017 Pages: 481 - 503
Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
Sylvain Boulmé
Alexandre Maréchal
OriginalPaper 10 November 2018 Pages: 505 - 530
A Consistent Foundation for Isabelle/HOL
Ondřej Kunčar
Andrei Popescu
OriginalPaper 27 January 2018 Pages: 531 - 555