Вы здесь

Necula G. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Design and Implementation of a Certifying Compiler 1998 Necula G. C., Lee P. SIGPLAN Notices 16.09.1998
СТ 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
СТ 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
СТ 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
СТ 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