Program Logics for Certified Compilers

Name: Program Logics for Certified Compilers
Author: New Jersey) Andrew W. (Princeton University Appel

New Jersey) Andrew W. (Princeton University Appel

Cambridge University Press

Knihu koupíte v 1 e-shopu

Bookshop.cz

2 594 Kč

Není skladem

Do obchodu

Krátký popis

This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.

Výběr knih autora New Jersey) Andrew W. (Princeton University Appel