Skip to main content
PBS logo
 
 

Search - Program Logics for Certified Compilers

Program Logics for Certified Compilers
Program Logics for Certified Compilers
Author: Andrew W. Appel
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 at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verific...  more »
ISBN-13: 9781107048010
ISBN-10: 110704801X
Publication Date: 3/31/2014
Pages: 472
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.