Proceedings of the ACM SIGPLAN '00 conference on programming language design and implementation (PLDI) : VANCOUVER, BRITISH COLUMBIA, CANADA, JUNE 18-21, 2000. (New York : ACM,Inc., 2000)