|
СТ |
Abstract Diagnosis of Functional Programs |
2003 |
Alpuente M., Comini M., Escobar S., Falaschi M., Lucas S. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Correction of Functional Logic Programs |
2003 |
Alpuente M., Ballis D., Correa F. J., Falaschi M. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
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 |
|
СТ |
Analyses of Inconsistency for Incremental Equational Logic Programming |
1992 |
Alpuente M., Falaschi M., Manzo F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
