%0 Conference Proceedings
%F AG98
%A Aiken, Alexander
%A Gay, David
%T Barrier inference
%B Proceedings of the 25th ACM Symposium on Principles of Programming Languages
%C San Diego, California
%D 1998
%U http://www.cs.berkeley.edu/~jcondit/pl-prelim/aiken98barrier.ps