Program Logics for Certified Compilers by Aquinas Hobor, Andrew W. Appel, Xavier Leroy, Gordon Stewart, Robert Dockins, Sandrine Blazy, Josiah Dodds, Lennart Beringer, Xaiser Leroy

Program Logics for Certified Compilers

Aquinas Hobor, Andrew W. Appel, Xavier Leroy, Gordon Stewart, Robert Dockins, Sandrine Blazy, Josiah Dodds, Lennart Beringer, Xaiser Leroy

472 pages • first pub 2014 (view editions)

education challenging informative medium-paced
Powered by AI (Beta)
Loading...

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...

Read more

Community Reviews

Loading...

Content Warnings

Loading...