Author: International Static Analysis Symposium (1st 1994 Namur, Belgium)