Non-Standard Semantics for Program Slicing