Visibility aspects of programmed dynamic data structures | Communications of the ACM | DeepDyve