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

Program Logics for Certified Compilers

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

472 pages • first pub 2014 (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...