26 citations · 159 across the 29 of their papers we have counts for
1 paper · 1 filter
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro
We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs…