Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership.

Published in: CoRR (2014)

Keyphrases