Вы здесь
Shaham R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automatic Removal of Array Memory Leaks in Java | 2000 | Shaham R., Kolodner E. K., Sagiv M. | Lecture Notes in Computer Science | 22.04.2000 | |||
| СТ | Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management | 2003 | Shaham R., Yahav E., Kolodner E. K., Sagiv M. | Lecture Notes in Computer Science | 18.09.2003 |