BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Participants in the publication
Vasco Vasconcelos (Author)
Dep. Informática
 LASIGE
 Francisco Martins (Author)
Dep. Informática
 LASIGE
 Tiago Cogumbreiro (Author)

Date of Publication
2010

Event
In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10),

Publication Identifiers

Starting page
95–10


Export

APA
Vasco Vasconcelos, Francisco Martins, Tiago Cogumbreiro, (2010). Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), , 95–10-

IEEE
Vasco Vasconcelos, Francisco Martins, Tiago Cogumbreiro, "Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language" in In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), , , 2010, pp. 95–10-, doi:

BIBTEX
@InProceedings{32394, author = {Vasco Vasconcelos and Francisco Martins and Tiago Cogumbreiro}, title = {Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language}, booktitle = {In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), }, year = 2010, pages = {95–10-}, address = {}, publisher = {} }