Abbrevation
SAS
Link
http://www.dsic.upv.es/~sas2008/
City
Valencia
Country
Spain
Deadline Paper
Start Date
End Date
Abstract

<P>Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems&#046; The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area&#046;<BR><B>Keywords:</B><BR> abstract domains<BR> abstract interpretation<BR> abstract testing<BR> compiler optimizations<BR> control flow analysis<BR> data flow analysis<BR> model checking<BR> program specialization<BR> security analysis<BR> theoretical analysis frameworks<BR> type based analysis<BR> verification systems<BR></P>