Program Logics For Certified Compilers
Download Program Logics For Certified Compilers full books in PDF, epub, and Kindle. Read online free Program Logics For Certified Compilers ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 469
Pages: 469
Type: BOOK - Published: 2014-04-21 - Publisher: Cambridge University Press
This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.
Language: en
Pages: 560
Pages: 560
Type: BOOK - Published: 2004-07-08 - Publisher: Cambridge University Press
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representation
Language: en
Pages: 318
Pages: 318
Type: BOOK - Published: 2013-12-11 - Publisher: Springer
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held
Language: en
Pages: 437
Pages: 437
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Language: en
Pages: 588
Pages: 588
Type: BOOK - Published: 2014-03-21 - Publisher: Springer
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of
