一种过程间单子切片方法
张迎周, 符炜
An Approach of Monadic Slicing for Interprocedural Programs
ZHANG Ying-zhou, FU Wei
电子学报 . 2013, (8): 1457 -1461 .  DOI: 10.3969/j.issn.0372-2112.2013.08.001