Mehdi Bouaziz
Inference of Necessary Field Conditions with Abstract Interpretation
10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japan. December 12, 2012
- PDF, 20 pages, 232 KB
- @misc{BouazizLogozzoFahndrich-APLAS12-talk,
author = {Bouaziz, Mehdi},
title = {Inference of Necessary Field Conditions with Abstract Interpretation},
year = {2012},
month = {December},
booktitle = {10th Asian Symposium on Programming Languages and Systems (APLAS 2012)},
url = {http://www.bouaziz.me/p/BouazizLogozzoFahndrich-APLAS12-slides.pdf}
}
Last update: January 24, 2014