Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 4/2019

Special Issue: Selected Extended Papers of ITP 2015

Content (5 Articles)

Selected Extended Papers of ITP 2015: Preface

Xingyuan Zhang, Christian Urban

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Frédéric Besson, Sandrine Blazy, Pierre Wilke

Refinement to Imperative HOL

Peter Lammich

Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra

Sylvain Boulmé, Alexandre Maréchal

A Consistent Foundation for Isabelle/HOL

Ondřej Kunčar, Andrei Popescu

Mar 19
Issue: 3/2019
Jun 19
Issue: 1/2019

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits