Static Analysis

Radhia Cousot (1, 2) , Matthieu Martel (3)

1 LIENS - Laboratoire d'informatique de l'école normale supérieure
2 ABSTRACTION - Abstract Interpretation and Static Analysis
3 DALI - Digits, Architectures et Logiciels Informatiques

Mots clés: Static analysis; abstract interpretation

Domaines: Arithmétique des ordinateurs

Radhia Cousot, Matthieu Martel (Dir.). Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Springer, LNCS (6337), 2010, 978-3-642-15768-4. ⟨10.1007/978-3-642-15769-1⟩. ⟨hal-00813003⟩