|
СТ |
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 |
|
СТ |
A Study on Fault-proneness Detection of Object-Oriented Systems |
2001 |
Fioravanti F., Nesi P. |
|
|
|
Proc. of the Fifth European Conf. on Software Maintenance and Reengineering, Lisbon, Portugal, 14-16 March, 2001 |
21.07.2001 |
|
СТ |
Automated Strategies for Specializing Constraint Logic Programs |
2001 |
Fioravanti F., Pettorossi A., Proietti M. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
