Вы здесь

Falaschi M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Analyses of Inconsistency for Incremental Equational Logic Programming 1992 Alpuente M., Falaschi M., Manzo F. Lecture Notes in Computer Science 13.10.1992
СТ Efficient Analysis of Concurrent Constraint Logic Programs 1992 Codish M., Falaschi M., Marriott K., Winsborough W. BIGRE 05.11.1992
СТ Conditional Narrowing with Constructive Negation 1992 Ramirez M. J., Falaschi M. Lecture Notes in Artificial Intelligence 06.04.1993
СТ 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
СТ 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
СТ 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
СТ Compositional Analysis for Equational Horn Programs 1994 Alpuente M., Falaschi M., Vidal G. Lecture Notes in Computer Science 01.11.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
СТ 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
СТ Narrowing-Driven Partial Evaluation of Functional Logic Programs 1996 Alpuente M., Falaschi M., Vidal G. Lecture Notes in Computer Science 18.05.1996
СТ Specialization of Lazy Functional Logic Programs 1997 Alpuente M., Falaschi M., Julian P., Vidal G. SIGPLAN Notices 27.01.1998
СТ Demand Transformation Analysis for Concurrent Constraint Programs 1996 Falaschi M., Hicks P., Winsborough W. Logic Programming 12.03.1998
СТ 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
СТ Partial Evaluation of Functional Logic Programs 1998 Alpuente M., Falaschi M., Vidal G. ACM Trans. on Programming Languages and Systems 21.06.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
СТ Correction of Functional Logic Programs 2003 Alpuente M., Ballis D., Correa F. J., Falaschi M. Lecture Notes in Computer Science 16.04.2003
СТ Abstract Diagnosis of Functional Programs 2003 Alpuente M., Comini M., Escobar S., Falaschi M., Lucas S. Lecture Notes in Computer Science 20.09.2003