Scan barcode
472 pages • first pub 2014 (editions)
ISBN/UID: 9781107048010
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 21 April 2014
Description
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 stud...
Community Reviews
Content Warnings
472 pages • first pub 2014 (editions)
ISBN/UID: 9781107048010
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 21 April 2014
Description
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 stud...
Community Reviews
Content Warnings