Program Logics for Certified Compilers

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

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.