المؤلفون: Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://basics.sjtu.edu.cn/~yuehg/popl/lock allocation (2007).pdf.

مصطلحات موضوعية: l ock i nference, IL P

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.4912; http://basics.sjtu.edu.cn/~yuehg/popl/lock allocation (2007).pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.4912
http://basics.sjtu.edu.cn/~yuehg/popl/lock allocation (2007).pdf