|
СТ |
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation |
2003 |
Vidal G. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages |
2001 |
Albert E., Antoy S., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
|
СТ |
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language |
2001 |
Albert E., Hanus M., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Specialization of Inductively Sequential Functional Logic Programs |
1999 |
Alpuente M., Hanus M., Lucas S., Vidal G. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
A Transformation System for Lazy Functional Logic Programs |
1999 |
Alpuente M., Falaschi M., Moreno G., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
|
СТ |
Partial Evaluation of Functional Logic Programs |
1998 |
Alpuente M., Falaschi M., Vidal G. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
Improving Control in Functional Logic Program Specialization |
1998 |
Albert E., Alpuente M., Falaschi M., Julian P., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
Specialization of Lazy Functional Logic Programs |
1997 |
Alpuente M., Falaschi M., Julian P., Vidal G. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Narrowing-Driven Partial Evaluation of Functional Logic Programs |
1996 |
Alpuente M., Falaschi M., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Compositional Analysis for Equational Horn Programs |
1994 |
Alpuente M., Falaschi M., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
|
СТ |
Narrowing Approximations as an Optimization for Equational Logic Programs |
1993 |
Alpuente M., Falaschi M., Ramis M. J., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
