Modular Monadic Program Slicing.

Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang

Browse the full COMPSAC paper archive.