Author: ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (5th 2004 Washington, D.C.)