[IEEE 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation - Edmonton, Alberta, Canada (2009.09.20-2009.09.21)] 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation - A Value Analysis for C Programs
Canet, Géraud, Cuoq, Pascal, Monate, BenjaminYear:
2009
Language:
english
DOI:
10.1109/scam.2009.22
File:
PDF, 215 KB
english, 2009