Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
Focusing on separation logic, this book provides a comprehensive introduction to both practical and theoretical aspects of software verification, particularly for pointer-manipulating programs. It includes case studies in Hoare and separation logics, along with practical applications in the Verifiable C program logic. Theoretical discussions cover separation algebras, step-indexed models, and tree-shares. Additionally, it explores the CompCert verified C compiler and its relation to verified software analysis tools, all rigorously supported by Coq developments in the Verified Software Toolchain.
Buchkauf
Program Logics for Certified Compilers, Andrew W. Appel
- Sprache
- Erscheinungsdatum
- 2014
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Hier könnte deine Bwertung stehen.