Вы здесь

Peralta J. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Convex Hull Abstractions in Specialization of CLP Programs 2003 Peralta J. C., Gallagher J. P. Lecture Notes in Computer Science 20.09.2003
СТ Imperative Program Specialisation: An Approach Using CLP 2000 Peralta J. C., Gallagher J. P. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Analysis of Imperative Programs through Analysis of Constraint Logic Programs 1998 Peralta J. C., Gallagher J. P., Saglam H. Lecture Notes in Computer Science 01.10.1998