David Notkin: Longitudinal program analysis. PASTE 2002: 1