
Conte aos seus amigos sobre este item:
Program Logics for Certified Compilers
Appel, Andrew W. (Princeton University, New Jersey)
Program Logics for Certified Compilers
Appel, Andrew W. (Princeton University, New Jersey)
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.
367 pages, 52 b/w illus.
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 21 de abril de 2014 |
ISBN13 | 9781107048010 |
Editoras | Cambridge University Press |
Páginas | 472 |
Dimensões | 236 × 161 × 28 mm · 848 g (Peso (estimado)) |
Idioma | English |
Mostrar tudo
Mais por Appel, Andrew W. (Princeton University, New Jersey)
Ver tudo de Appel, Andrew W. (Princeton University, New Jersey) ( por exemplo Paperback Book e Hardcover Book )