Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013

@inproceedings{Banerjee2013SemanticsAI,
  title={Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
  author={A. Banerjee and O. Danvy and K. Doh and J. Hatcliff},
  booktitle={Festschrift for Dave Schmidt},
  year={2013}
}
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. 
1 Citations
Abstract interpretation: past, present and future
  • 33
  • PDF