詹姆斯·罗斯；尼基尔·斯瓦米；迈克尔·希克斯 多态锁类型的动态推断。 （英语） Zbl 1105.68014号 科学。计算。程序。 58，第3期，366-383（2005）. 摘要：我们介绍了FindLocks，这是一种结合使用动态和静态分析自动证明多线程Java程序中没有数据竞争的方法。该程序被检测，以便在执行时收集有关锁定关系的信息。然后，该信息用于自动生成所需的注释，以便使用Race-Free Java类型系统对程序进行类型检查。类型检查的程序肯定不会有比赛。我们称这种技术为动态注释推理。我们描述了我们的方法的设计和实现，以及我们将该工具应用于各种Java程序的经验。我们发现，当使用一个相当全面的测试套件时，这种方法会生成有用的注释，这对小程序来说很容易，但对大程序来说很难。 引用于2文件 MSC公司： 68甲15 编程语言理论 关键词：动态分析；类型推断；数据竞赛；Java语言；多线程 软件：电子稳定控制系统/Java；Daikon公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Rose}等人，科学。计算。程序。58，第3号，366--383（2005；Zbl 1105.68014） 全文： 内政部