@文章{zbMATH00986030，作者={Leino，K.Rustan M.}，Title={构造带异常的程序}，FJournal={信息处理信件}，日志={Inf.Process.Lett.}，ISSN={0020-0190}，体积={53}，数字＝｛3｝，页码={159--163}，年份={1995}，语言={英语}，DOI={10.1016/0020-0190（94）00197-7}，关键词={68N01,68Q55}，zbMATH={986030}，Zbl={0875.68200}}