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

Vasco T. Vasconcelos; Francisco Martins; Tiago Cogumbreiro

doi:10.4204/EPTCS.17.8

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

Vasco T. Vasconcelos
, Francisco Martins
, Tiago Cogumbreiro

Computer Science

University of Lisbon

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	95-109
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	17
DOIs	https://doi.org/10.4204/EPTCS.17.8
State	Published - Feb 6 2010
Event	2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009 - York, United Kingdom Duration: Mar 22 2009 → …

ASJC Scopus Subject Areas

Software

Access to Document

10.4204/EPTCS.17.8

Cite this

@article{dccd68b6442c48658596ae189d1df201,

title = "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language",

author = "Vasconcelos, \{Vasco T.\} and Francisco Martins and Tiago Cogumbreiro",

note = "Publisher Copyright: {\textcopyright} Vasconcelos, Martins, and Cogumbreiro.; 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009 ; Conference date: 22-03-2009",

year = "2010",

month = feb,

day = "6",

doi = "10.4204/EPTCS.17.8",

language = "English",

volume = "17",

pages = "95--109",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

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

AU - Vasconcelos, Vasco T.

AU - Martins, Francisco

AU - Cogumbreiro, Tiago

N1 - Publisher Copyright: © Vasconcelos, Martins, and Cogumbreiro.

PY - 2010/2/6

Y1 - 2010/2/6

UR - https://www.scopus.com/pages/publications/85051140464

UR - https://www.scopus.com/pages/publications/85051140464#tab=citedBy

U2 - 10.4204/EPTCS.17.8

DO - 10.4204/EPTCS.17.8

M3 - Conference article

AN - SCOPUS:85051140464

SN - 2075-2180

VL - 17

SP - 95

EP - 109

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009

Y2 - 22 March 2009

ER -

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

ASJC Scopus Subject Areas

Access to Document

Other files and links

Fingerprint

Cite this