Sciweavers

BIRTHDAY
2010
Springer

A Scalable Segmented Decision Tree Abstract Domain

14 years 5 months ago
A Scalable Segmented Decision Tree Abstract Domain
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York University 3 ´Ecole Normale Sup´erieure, Paris 4 Instituto Madrile˜no de Estudios Avanzados, Madrid Dedicated to the memory of Amir Pnueli
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where BIRTHDAY
Authors Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Comments (0)