Author: International Static Analysis Symposium (4th 1997 Paris, France)