Type inference for deadlock detection in a multithreaded polymorphic typed assembly language

TitleType inference for deadlock detection in a multithreaded polymorphic typed assembly language
Publication TypeJournal Article
Year of Publication2010
AuthorsVasconcelos, V. T., F. Martins, and T. Cogumbreiro
JournalarXiv preprint arXiv:1002.0942