Static Analysis Static analysis: third international symposium, sas '96 aachen, germany, september 24-26, 1996 proceedings - 1st - Berlin Springer 1996 - ix,388p p. ISBN: 3-540-61739-6 Subjects--Index Terms: Programming languages(Electronic Computers)