Sign in
Join Literal
Program Logics for Certified Compilers
Andrew W. Appel
Want to read
Sign up to use
Andrew W. Appel
Program Logics for Certified Compilers
Andrew W. Appel
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.
Discover more books like Program Logics for Certified Compilers