BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Conferência

Tipo de Documento
Artigo Completo

Título
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Participantes na publicação
Vasco Vasconcelos (Author)
Dep. Informática
LASIGE
Francisco Martins (Author)
Dep. Informática
LASIGE
Tiago Cogumbreiro (Author)

Data de Publicação
2010

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

Identificadores da Publicação

Página Inicial
95–10


Exportar referência

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 = {} }