@第{zbMATH06832420条，作者={Urban，Caterina and Min，Antoine}，标题={通过抽象解释证明时间属性的排序函数推断}，FJournal={计算机语言、系统和结构}，日志={计算语言系统结构}，ISSN={1477-8424}，体积={47}，页码={77--103}，年份={2017年}，语言={英语}，DOI={10.1016/j.cl.2015.10.001}，关键词={68N30,68Q55}，zbMATH={6832420}，Zbl={1379.68101}}