Program Logics for Certified Compilers - Hardcover

Appel, Andrew W.

 
9781107048010: Program Logics for Certified Compilers
Hardcover
ISBN 10: 110704801X ISBN 13: 9781107048010
Publisher: Cambridge University Press, 2014

Synopsis

This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.

"synopsis" may belong to another edition of this title.

About the Author

Andrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University, New Jersey, where he has been on the faculty since 1986. His research is in software verification, computer security, programming languages and compilers, automated theorem proving, and technology policy. He is known for his work on Standard ML of New Jersey and on Foundational Proof-Carrying Code. He is a Fellow of the Association for Computing Machinery, recipient of the ACM SIGPLAN Distinguished Service Award, and has served as Editor in Chief of ACM Transactions on Programming Languages and Systems. His previous books include Compiling with Continuations (1992), the Modern Compiler Implementation series (1998 and 2002) and Alan Turing's Systems of Logic (2012).

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2014
Language
English
ISBN 10 
110704801X
ISBN 13 
9781107048010
Binding
Hardcover
Number of pages
472