by International Static Analysis Symposium (11th 2004 Verona, Italy)
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages…