TY - BOOK AU - Hentenryck,Pascal van ED - International Static Analysis Symposium TI - Static analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings SN - 3540634681 AV - QA76.6 S716 1997 PY - 1997/// CY - Berlin PB - Springer KW - Electronic digital computers KW - Programming KW - Congresses KW - Programming languages (Electronic computers) ER -