@第{zbMATH06744583条，作者={Mastroeni、Isabella和Zanardini、Damiano}，Title={抽象程序切片：一种基于抽象解释的程序切片方法}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={18}，数字={1}，页码={58}，注={Id/No 7}，年份={2017年}，语言={英语}，DOI={10.1145/3029052}，关键词={68N30}，zbMATH={6744583}，Zbl={1367.68070}}