Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
arXiv:1309.4557v18 citations
Originality Synthesis-oriented
AI Analysis
It is a tribute volume for the research community, with no incremental or broad scientific claims.
This paper is a collection of essays honoring David A. Schmidt on his sixtieth birthday, covering personal memories and technical contributions in semantics, abstract interpretation, and program reasoning.
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.