by Jens Palsberg
Static Analysis is a research area aimed at developing principles and tools for high-performance implementation and veri?cation of programming languages. The seriesofStatic AnalysisSymposiais aforu…