Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday

Anindya Banerjee; Olivier Danvy; Kyung-Goo Doh; John Hatcliff

doi:10.4204/EPTCS.129

paper

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday

arXiv:1309.4557 · doi:10.4204/EPTCS.129

Abstract

This Liber Amicorum is a collection of essays ranging from personal memories to technical contributions. It is a tribute to Dave Schmidt and his career, and was composed at the occasion of his sixtieth birthday.