by International Static Analysis Symposium (8th 2001 Paris, France)
Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series…