most citedImproving Change Prediction Models with Code Smell-Related Information

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2000

On Redundancy Elimination Tolerant Scheduling Rules

F. Ferrucci, G. Pacini, M. I. Sessa

In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such…