Book details

Software Foundations Vol 2: Programming Language Foundations

by Benjamin C Pierce , Arthur Azevedo de Amorim , Chris Casinghino , Marco Gaboardi , Michael Greenberg , Cătălin Hriţcu , Vilhelm Sjöberg , Andrew Tolmach , Brent Yorgey

Categories Software engineering

A mechanized introduction to programming-language semantics and proof in Coq. It covers operational semantics, type systems, program equivalence, Hoare logic, and related foundations through definitions, theorems, and exercises.