Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities.

Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou

Browse the full FedCSIS paper archive.