@在集合{zbMATH06455622中，作者={Condit，Jeremy and Hackett，Brian and Lahiri，Shuvendu K.and Qadeer，Shaz}，Title={统一低级代码的类型检查和属性检查}，BookTitle={2009年1月18日至24日美国佐治亚州萨凡纳市POPL'09第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集}，国际标准图书编号={978-1-60558-379-2}，页码={302--314}，年份＝{2009}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1480881.1480921}，关键词={68N30,68N15}，zbMATH={6455622}，Zbl={1315.68086}}