Вы здесь

Proietti M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Transformation Rules for Locally Stratified Constraint Logic Programs 2004 Fioravanti F., Pettorossi A., Proietti M. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004
СТ Combining Logic Programs and Monadic Second Order Logics by Program Transformation 2003 Fioravanti F., Pettorossi A., Proietti M. Lecture Notes in Computer Science 20.09.2003
СТ Program Derivation = Rules + Strategies 2002 Pettorossi A., Proietti M. Lecture Notes in Computer Science 29.08.2002
СТ Automated Strategies for Specializing Constraint Logic Programs 2001 Fioravanti F., Pettorossi A., Proietti M. Lecture Notes in Computer Science 23.06.2001
СТ Transformation Rules for Logic Programs with Goals as Arguments 2000 Pettorossi A., Proietti M. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Future Directions in Program Transformation 1997 Pettorossi A., Proietti M. SIGPLAN Notices 15.04.1998
СТ A Comparative Revisitation of Some Program Transformation Techniques 1996 Pettorossi A., Proietti M. Lecture Notes in Computer Science Partial Evaluation 10.10.1996
СТ A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties 1996 Pettorossi A., Proietti M. Lecture Notes in Computer Science Partial Evaluation 10.10.1996
СТ Correctness of Logic Program Transformations Based on Existential Termination 1995 Lau K. -K., Ornaghi M., Pettorossi A., Proietti M. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ Completeness of Some Transformation Strategies for Avoiding Unnecassary Logical Variables 1994 Proietti M., Pettorossi A. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ Rules and Strategies for Program Transformation 1993 Pettorossi A., Proietti M. Lecture Notes in Computer Science 08.02.1994
СТ Semantics Preserving Transformation Rules for Prolog 1991 Proietti M., Pettorossi A. SIGPLAN Notices 26.10.1991