Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI '05 : June 12-15, 2005, Chicago, Illinois, USA / - Languages, ACM Special Interest Group on Programming. (ACM,)