Emmanuel Geay, Eran Yahav, Stephen J. Fink. Continuous code-quality assurance with SAFE. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 145-149, ACM, 2006. [doi]
Abstract is missing.