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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2013★ 2 cited

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 +1

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 occ…