A Slice Monad Transformer and Its Applications in Program Slicing.

Yingzhou Zhang, Baowen Xu

Browse the full ICECCS paper archive.