Program Logics for Certified Compilers

Name: Program Logics for Certified Compilers
ISBN: 9781107048010

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

In print

Ebook

Audiobook

Library

We may earn a commission. Learn more.

Reviews

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.