Java字节码的死锁检测
Deadlock detection of Java Bytecode
摘要：
本文提出了一种Java程序死锁检测技术。该技术使用类型规则来提取Java中间语言（Java字节码）组件之间依赖关系的无限状态抽象模型。随后分析模型的求解器，我们已经定义了检测过程中的死锁演算的扩展装置。我们的技术是由一个原型验证，也涵盖了大多数的Java功能的补充。
英文摘要：
This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
