ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (4th 2002 Charleston, S.C.)