Mehdi Bouaziz
TreeKs: A Functor to Make Numerical Abstract Domains Scalable
4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Deauville, France. September 10, 2012
- PDF, 59 pages, 445 KB
- @misc{Bouaziz-NSAD12-talk,
author = {Bouaziz, Mehdi},
title = {\textsf{TreeKs}: A Functor to Make Numerical Abstract Domains Scalable},
year = {2012},
month = {September},
booktitle = {4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012)},
url = {http://www.bouaziz.me/p/Bouaziz-NSAD12-slides.pdf}
}
Last update: January 24, 2014