СТ |
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 |