约翰·托曼；任思琪；Kohei Suenaga公司；Atsushi Igarashi；直纪小林 ConSORT：命令式程序的上下文和流敏感所有权细化类型。 （英语） Zbl 1508.68079号 Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 684-714 (2020).MSC公司：68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Toman}等人，Lect。注释计算。科学。12075、684--714（2020年；Zbl 1508.68079） 全文： 内政部 arXiv公司
吉尔根·吉斯尔；科尼利厄斯·阿斯切尔曼；马克·布罗克施米特；埃米斯，法比安；弗洛里安·弗洛恩；卡斯滕·福斯；杰拉·亨塞尔；卡斯滕·奥托；马丁·普吕克；彼得·施奈德·坎普；托马斯·斯特罗德；斯蒂芬妮·斯威德斯基；雷内·蒂曼 使用自动分析程序终止和复杂性AProVE公司. （英语） Zbl 1409.68255号 J.汽车。推理 58，第1期，3-31（2017）.MSC公司：68吨15 68甲15 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人，J.Autom。推理58，No.1，3--31（2017；Zbl 1409.68255） 全文： 内政部