• Huuck R公司. (2015). 技术转让.计算机程序设计科学.103：C.(3-12).在线发布日期：2015年6月1日.

    https://doi.org/10.1016/j.scico.2014.11.003

  • 胡萝卜素D,亨利·L和Serpette B公司. (2009). 异步顺序过程.信息与计算.207:4.(459-495).在线发布日期：2009年4月1日.

    https://doi.org/10.1016/j.ic.2008.12.004

  • 米尔斯坦T和帕尔斯伯格J. (2007). 类型系统编译器设计手册。10.1201/9781420043839.ch9.(9-1-9-22).在线发布日期：2007年12月7日.

    http://www.crcnetbase.com/doi/10.201/9781420043839.ch9

  • Grothoff C公司,帕尔斯伯格J和维泰克·J. (2007). 用受限类型封装对象.程序设计语言与系统学报.29:6.（32秒）.在线发布日期：2007年10月1日.

    https://doi.org/10.1145/1286821.1286823

  • Grothoff C公司,帕尔斯伯格J和维泰克·J. (2001). 用受限类型封装对象.ACM SIGPLAN通知.36:11.(241-255).在线发布日期：2001年11月1日.

    https://doi.org/10.1145/504311.504300

  • 格罗托夫C,帕尔斯伯格J和维泰克·J. 用受限类型封装对象第16届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集。（241-255）.

    https://doi.org/10.1145/504282.504300

  • 沙哈姆R,科洛德纳E和萨吉夫M. 节省空间的Java堆评测ACM SIGPLAN 2001年编程语言设计和实现会议记录。(104-113).

    https://doi.org/10.1145/378795.378820

  • 沙哈姆R,科洛德纳E和萨吉夫M. (2001). 节省空间的Java堆评测.ACM SIGPLAN通知.36:5.(104-113).在线发布日期：2001年5月1日.

    https://doi.org/10.1145/381694.378820

  • 胡萝卜素D,亨利奥L和Serpette B公司. (2001). Java卡对象共享静态分析的上下文推断智能卡编程和安全。10.1007/3-540-45418-7_5.(43-57).

    http://link.springer.com/10.1007/3-540-45418-7_5

  • 民意测验I,勒查利埃B和科尔特斯A. (2001). Java程序静态分析的区分和共享域.ECOOP 2001-面向对象编程。10.1007/3-540-45337-7_5.(77-98).

    https://link.springer.com10.1007/3-540-445337-7_5

  • 库索特P. (2001). 基于抽象解释的形式化方法及其未来挑战信息学。10.1007/3-540-44577-3_10.（138-156）.

    http://link.springer.com/10.1007/3-540-44577-3_10

  • 肖尔茨B,布利伯格J和法林格T. 用于检测内存泄漏的符号指针分析2000年ACM SIGPLAN部分评估和基于语义的程序操作研讨会论文集。(104-113).

    https://doi.org/10.1145/328690.328704

  • Monniaux D公司. (2000). 概率语义学的抽象解释.静态分析。10.1007/978-3-540-45099-3_17.(322-339).

    http://link.springer.com/10.1007/978-3-540-45099-3_17

  • 朔尔茨B,布利伯格J和法林格T. (1999). 用于检测内存泄漏的符号指针分析.ACM SIGPLAN通知.34:11.(104-113).在线发布日期：1999年11月1日.

    https://doi.org/10.1145/328691.328704

  • 多尔N,罗德·M和萨吉夫M. (1998). 通过静态指针分析检测内存错误（初步经验）.ACM SIGPLAN通知.33:7.(27-34).在线出版日期：1998年7月1日.

    https://doi.org/10.1145/277633.277637

  • 多尔N,罗德·M和萨吉夫M. 通过静态指针分析检测内存错误（初步经验）1998年ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会论文集。(27-34).

    https://doi.org/10.1145/277631.277637

  • 詹森J,约根森·M,施瓦茨巴赫M和克拉伦德N. (1997). 使用一元二阶逻辑自动验证指针程序.ACM SIGPLAN通知.32:5.(226-234).网上发布日期：1997年5月1日.

    https://doi.org/10.1145/258916.258936

  • 詹森J,约尔根森M,施瓦茨巴赫M和克拉伦德N. 使用一元二阶逻辑自动验证指针程序1997年ACM SIGPLAN编程语言设计与实现会议记录。(226-234).

    https://doi.org/10.1145/258915.258936

  • 德国A. 逃逸分析的复杂性第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(358-371).

    https://doi.org/10.1145/263699.263750

  • 弗拉代特P和勒梅泰勒D. 形状类型第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。(27-39).

    https://doi.org/10.1145/263699.263706

  • 库索特P. (1996). 抽象解释.倒排索引综述.28:2.(324-328).在线出版日期：1996年6月1日.

    https://doi.org/10.1145/234528.234740