Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation - Boehm, Hans-J. (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages (ACM, 2013)