Author of the publication

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

, , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A logic-based approach to software system safety and security., and . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 67-68 (2000)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 213-228. Springer, (2002)Oracle-based checking of untrusted software., and . POPL, page 142-154. ACM, (2001)ACM SIGPLAN Notices 36(3), March 2001.