From post

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

, , , и . CC, том 2304 из Lecture Notes in Computer Science, стр. 213-228. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Elkhound: A Fast, Practical GLR Parser Generator., и . CC, том 2985 из Lecture Notes in Computer Science, стр. 73-88. Springer, (2004)Data Structure Specifications via Local Equality Axioms., и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 476-490. Springer, (2005)CCured: type-safe retrofitting of legacy code., , и . POPL, стр. 128-139. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.An Improved Adaptive Multi-Start Approach to Finding Near-Optimal Solutions to the Euclidean TSP., , , и . GECCO, стр. 143-150. Morgan Kaufmann, (2000)A few billion lines of code later: using static analysis to find bugs in the real world, , , , , , , , , и . Communications of the ACM, 53 (2): 66-75 (2010)CCured in the real world., , , , и . PLDI, стр. 232-244. ACM, (2003)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , и . CC, том 2304 из Lecture Notes in Computer Science, стр. 213-228. Springer, (2002)CCured: type-safe retrofitting of legacy code., , и . ACM SIGPLAN Notices, 47 (4a): 74-85 (2012)Scalable and incremental software bug detection., , и . ESEC/SIGSOFT FSE, стр. 554-564. ACM, (2013)