TY - BOOK AU - Charlier Baudouin Le ED - International Static Analysis Symposium( 1st : 1994 : Belgium ) ED - International Static Analysis Symposium 1st TI - Static analysis : proceedings SN - 3-540-88485-0 U1 - 5.13 PY - 1994/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Programming languages ER -