Program Logics for Certified Compilers

by Andrew W. Appel

Book Overview

Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 110704801X
• ISBN13: 9781107048010
• Release Date: April 2014
• Publisher: Cambridge University Press
• Length: 472 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.0" x 5.9" x 9.1"