Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation (2003)

by G Vidal
Venue:In Proc. of the 12th Int’l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR’02