I'm surprised there are no mentions to Microsoft Research's Singularity, that used only software barriers, and the languages used there (Sing#, Spec#) had owner

I'm surprised there are no mentions to Microsoft Research's Singularity, that used only software barriers, and the languages used there (Sing#, Spec#) had ownership concepts ([Claims] attribute).