ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages , Jan 26-2
January 26, 2011
J. An, A. Chaudhuri, J. Foster, M. Hicks