Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Program Logics for Certified Compilers, Andrew W. Appel
- Lingua
- Pubblicato
- 2014
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.