Forward Computation of Dynamic Slices of C Programs