Program analysis for bug detection using parfait: invited talk

Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz. Program analysis for bug detection using parfait: invited talk. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 7-8, ACM, 2009. [doi]

Abstract

Abstract is missing.