@第{zbMATH06894965条，作者={Hensel，Jera and Giesl，J{“u}rgen and Frohn，Florian and Str{“o}der，Thomas}，Title={符号执行的位向量算术程序的终止和复杂性分析}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={97}，Pages＝{105-130}，年份={2018}，语言={英语}，DOI={10.1016/j.jlamp.2018.02.004}，关键词={68N30,68Q25}，zbMATH={6894965}，Zbl={1395.68093}}