|
СТ |
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis |
2002 |
Adams S., Ball T., Das M., Lerner S., Rajamani S. K., Seigle M., Weimer W. |
|
|
|
Lecture Notes in Computer Science |
31.10.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 |
|
СТ |
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 |
