Вы здесь

Necula G. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Polynomial-Time Algorithm for Global Value Numbering 2004 Gulwani S., Necula G. C. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004
СТ A Scalable Architecture for Proof-Carrying Code 2001 Necula G. C. Lecture Notes in Computer Science 06.04.2001
СТ CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs 2002 Necula G. C., Mcpeak S., Rahul S. P., Weimer W. Lecture Notes in Computer Science 27.04.2002
СТ Elkhound: A Fast, Practical GLR Parser Generator 2004 Mcpeak S., Necula G. C. Lecture Notes in Computer Science 22.04.2004
СТ Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions 2004 Gulwani S., Necula G. C. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004
СТ Temporal-Safety Proofs for Systems Code 2002 Henzinger T. A., Jhala R., Majumdar R., Necula G. C., Sutre G., Weimer W. Lecture Notes in Computer Science 31.08.2002
СТ The Design and Implementation of a Certifying Compiler 1998 Necula G. C., Lee P. SIGPLAN Notices 16.09.1998