Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.). The Second International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field.
After a successful first NSAD co-located with VMCAI 2005 in Paris, the second NSAD will be co-located with SAS 2010 in Perpignan, France.
|Submissions:||June 1, 2010|
|Notification:||July 14, 2010|
|Event:||September 13, 2010-September 13, 2010|