Вы здесь
Degimbe O.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Optimization Tecniques for General Purpose Fixpoint Algorithms Practical Efficiency for the Abstract Interpretation of Prolog | 1993 | Le Charlier B., Degimbe O., Michel L., Van Hentenryck P. | Lecture Notes in Computer Science | 11.12.1993 | |||
СТ | The Impact of Granularity in Abstract Interpretation of Prolog | 1993 | Van Hentenryck P., Degimbe O., Le Charlier B., Michel L. | Lecture Notes in Computer Science | 11.12.1993 |