xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
Write a Blog >>
NSAD 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
All Editions
Sun 15 - Fri 20 November 2020 Online Conference

NSAD 2020 with SPLASH 2020

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 (i ...