Вы здесь
Pulvirenti F.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Automatic Compile-Time Paralleization of Prolog Programs for Dependent And-Parallelism | 1997 | Pontelli E., Gupta G., Pulvirenti F., Ferro A. | Logic Programming | 11.03.1998 | |||
СТ | A Simple and General Method for Integrating Abstract Interpretation in SICStus | 1999 | Baldan D., Civran N., File G., Pulvirenti F. | Lecture Notes in Computer Science | 27.10.1999 |