Вы здесь
Glenstrup A. J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Program Generation, Termination, and Binding-Time Analysis | 2002 | Jones N. D., Glenstrup A. J. | Lecture Notes in Computer Science | 23.11.2002 | |||
СТ | C-Mix: Specialization of Programs | 1999 | Glenstrup A. J., Makholm H., Secher P. | Lecture Notes in Computer Science | 15.12.1999 | |||
СТ | BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation | 1996 | Glenstrup A. J., Jones N. O. | Lecture Notes in Computer Science | 15.02.1997 |