Bookbot

Program Logics for Certified Compilers

Évaluation du livre

4,0(4)Évaluer

Paramètres

Pages
472pages
Temps de lecture
17heures

En savoir plus sur le livre

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.

Achat du livre

Program Logics for Certified Compilers, Andrew W. Appel

Langue
Année de publication
2014
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

4,0
Très bien
4 Évaluations

Il manque plus que ton avis ici.