Login / Signup
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco Thudichum Vasconcelos
Francisco Martins
Tiago Cogumbreiro
Published in:
PLACES (2009)
Keyphrases
</>
type checking
deadlock detection
distributed database systems
database query languages
distributed systems
lambda calculus
manufacturing systems
object oriented languages
database systems
query language
data integration
intelligent agents