@收款{zbMATH06416219，作者＝{Charatonik，Witold和Podelski，Andreas和Talbot，Jean-Marc}，标题＝{基于集合的程序分析中的路径与树}，BookTitle={第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'00，美国马萨诸塞州波士顿，2000年1月19日至21日}，国际标准图书编号={1-58113-125-9}，页码={330--337}，年份={2000}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/325694.325730}，关键词={68N30,68N17,68Q17}，zbMATH={6416219}，Zbl={1323.68201}}