Program Logics for Certified Compilers

Certified

by Andrew W. Appel

Hardcover

ISBN: 978-1-107-04801-0

ISBN-10: 1-107-04801-X

Cambridge University Press · 2014