@收款{zbMATH07228501，作者={Porncharoenwase，Sorawee and Bornholt，James and Torlak，Emina}，Title={修复在符号求值下爆炸的代码}，BookTitle={验证、模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序}，国际标准图书编号={978-3-030-39321-2；978-3-0.30-39322-9}，页码={44--67}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-39322-9_3}，关键词={68Q60}，zbMATH=｛7228501｝}