A non-standard semantics for program slicing and dependence analysis.

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases