International Static Analysis Symposium (3rd 1996 Aachen, Germany)