Sciweavers

CORR
2009
Springer
87views Education» more  CORR 2009»
13 years 2 months ago
A Concurrent Language with a Uniform Treatment of Regions and Locks
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...