A formal relationship between program slicing and partial evaluation