|
СТ |
Binding-Time Analysis for Mercury |
2004 |
Vanhoof W., Bruynhooghe M., Leuschel M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Specialising Interpreters Using Offline Partial Deduction |
2004 |
Leuschel M., Craig S. J., Bruynooghe M., Vanhoof W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Collecting Potential Optimizations |
2003 |
Mazur N., Janssens G., Vanhoof W. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
A Fixed Point Semantics for Logic Programs Extended with Cuts |
2003 |
Vanhoof W., Troncon R., Bruynooghe M. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Pos(T): Analyzing Dependencies in Typed Logic Programs |
2001 |
Bruynooghe M., Vanhoof W., Codish M. |
|
|
|
Lecture Notes in Computer Science |
08.02.2002 |
|
СТ |
To Parse or Not To Parse |
1998 |
Vanhoof W., Martens B. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
A Framework for Bottom Up Specialisation of Logic Programs |
1998 |
Vanhoof W., De Schreye D., Martens B. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
