Вы здесь
Shelekhov V. I.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Data Flow Analysis of Java Programs in the Presence of Exceptions | 2000 | Shelekhov V. I., Kuksenko S. V. | Lecture Notes in Computer Science | 18.02.2000 | |||
СТ | Object Analysis of Program | 1994 | Shelekhov V. I., Kuksenko S. V. | SIGPLAN Notices | 03.04.1996 | |||
СТ | SOKRAT: An Environment for Safe and Efficient Programming | 1993 | Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. | CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics | 03.09.1993 |