Abbrevation
SAS
City
Kongens Lyngby
Country
Denmark
Deadline Paper
Start Date
End Date
Abstract
Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area.<br><b>Keywords:</b> abstract domain<br>abstract interpretation<br>abstract testing<br>compiler optimisations<br>control flow analysis<br>data flow analysis<br>model checking<br>program specialization<br>security analysis<br>theoretical analysis frameworks<br>verification systems<br>