弗洛里安·布鲁斯;约格·克里克;马丁·兰格;马尔科·萨利泽 局部高阶不动点迭代。 (英语) Zbl 07455743号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32697-113(2020年)。MSC公司:68问题55 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人,《电子》。程序。西奥。计算。科学。(EPTCS)32697--113(2020;Zbl 07455743) 全文: arXiv公司 链接
Kreiker,J。;代表,T。;北卡罗来纳州里内茨基。;萨吉夫,M。;莱因哈德·威廉;E.雅哈夫。 有效的无切点程序的程序间形状分析。 (英语) 兹比尔1383.68025 沃伦科夫,安德烈(编辑)等人,《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林:施普林格出版社(ISBN 978-3-642-37650-4/pbk)。计算机科学课堂讲稿7797,414-445(2013)。MSC公司:68号30 03B70型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Kreiker}等人,Lect。注释计算。科学。7797、414--445(2013;Zbl 1383.68025) 全文: 内政部