Mehdi Bouaziz
Inference of Necessary Field Conditions with Abstract Interpretation
10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japon. 12 décembre 2012
- PDF, 20 pages, 232 Ko
- @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}
}
Dernière mise à jour : 24 janvier 2014