( en | de | ru )

 

Disambiguation

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

James Wesley Scott

Felix Markus Hubertus Scotti

 

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

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)