Вы здесь
Tang Y. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Effect Systems with Subtyping | 1995 | Tang Y. M., Jouvelot P. | Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation | 13.08.1997 | |||
| СТ | Separate Abstract Interpretation for Control-Flow Analysis | 1994 | Tang Y. M., Jouvelot P. | Lecture Notes in Computer Science | 30.04.1994 |