Static analysis : 4th International Symposium, SAS '97 : Paris, France, September 8-10, 1997 : proceedings - Van Hentenryck, Pascal, 1963- (Springer, 1997)