Program Logics for Certified Compilers
Download or Read eBook Program Logics for Certified Compilers PDF written by Andrew W. Appel and published by Cambridge University Press. This book was released on 2014-04-21 with total page 469 pages. Available in PDF, EPUB and Kindle.
| Author | : Andrew W. Appel |
| Publisher | : Cambridge University Press |
| Total Pages | : 469 |
| Release | : 2014-04-21 |
| ISBN-10 | : 9781107048010 |
| ISBN-13 | : 110704801X |
| Rating | : 4/5 (10 Downloads) |
Book Synopsis Program Logics for Certified Compilers by : Andrew W. Appel
Book excerpt: This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.
