|
СТ |
A New Declarative Semantics for Logic Languages |
1988 |
Falaschi M., Levi G., Martelli M., Palamidessi C. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
A Simple Semantics for Logic Programming Languages with Dynamic Scheduling |
1995 |
Marriot K., Falaschi M., Gabbrielli M., Palamidessi C. |
|
|
|
Australian Computer Science Communications |
12.07.1995 |
|
СТ |
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 |
|
СТ |
Abstract Diagnosis of Functional Programs |
2003 |
Alpuente M., Comini M., Escobar S., Falaschi M., Lucas S. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Analyses of Inconsistency for Incremental Equational Logic Programming |
1992 |
Alpuente M., Falaschi M., Manzo F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
|
СТ |
Compositional Analysis for Equational Horn Programs |
1994 |
Alpuente M., Falaschi M., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
|
СТ |
Conditional Narrowing with Constructive Negation |
1992 |
Ramirez M. J., Falaschi M. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
Confluence in Concurrent Constraint Programming |
1995 |
Falaschi M., Gabbrielli M., Marriott K., Palamidessi C. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Correction of Functional Logic Programs |
2003 |
Alpuente M., Ballis D., Correa F. J., Falaschi M. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Demand Transformation Analysis for Concurrent Constraint Programs |
1996 |
Falaschi M., Hicks P., Winsborough W. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Efficient Analysis of Concurrent Constraint Logic Programs |
1992 |
Codish M., Falaschi M., Marriott K., Winsborough W. |
|
|
|
BIGRE |
05.11.1992 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Narrowing-Driven Partial Evaluation of Functional Logic Programs |
1996 |
Alpuente M., Falaschi M., Vidal G. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Partial Evaluation of Functional Logic Programs |
1998 |
Alpuente M., Falaschi M., Vidal G. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
Specialization of Lazy Functional Logic Programs |
1997 |
Alpuente M., Falaschi M., Julian P., Vidal G. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Suspension Analyses for Concurrent Logic Programs |
1994 |
Codish M., Falaschi M., Marriott K. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
Suspension Analysis for Concurrent Logic Programs |
1991 |
Codish M., Falaschi M., Marriott K. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
