Data dependencies and program slicing: from syntax to abstract semantics.

Isabella Mastroeni, Damiano Zanardini

Browse the full PEPM paper archive.