|
СТ |
Nonuniform Alias Analysis of Recursive Data Structures and Arrays |
2002 |
Venet A. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
Automatic Determination of Communication Topologies in Mobile Systems |
1998 |
Venet A. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
Abstract Interpretation of the -Calculus |
1997 |
Venet A. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
A Scalable Nonuniform Pointer Analysis for Embedded Systems |
2004 |
Venet A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |
