多线程多态类型汇编语言中的死锁检测类型推断
摘要：使用推断锁顺序的算法来扩展多线程基于锁的多态类型汇编语言（MIL）的类型系统以及类型检查器，以验证程序是否存在死锁。
作者：Vasco T. Vasconcelos (University of Lisbon), Francisco Martins (University of Lisbon), Tiago Cogumbreiro (University of Lisbon)
论文ID：1002.0942
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-02-05