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

Last update: January 24, 2014