Formal specification of program slicing

Fangjun Wu. Formal specification of program slicing. SIGPLAN Notices, 41(12):18-27, 2006. [doi]

Abstract

Abstract is missing.