Static Analysis : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings - Pascal Hentenryck ((Lecture Notes in Computer Science))