Volume 57, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 57, Issue 4

December 2016

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Reasoning About Algebraic Data Types with Abstractions
Tuan-Hung Pham
Andrew Gacek
Michael W. Whalen
OriginalPaper 29 March 2016 Pages: 281 - 318
A Formal C Memory Model for Separation Logic
Robbert Krebbers
OriginalPaper Open access 10 May 2016 Pages: 319 - 387