Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Rajamani, Sriram (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages; ACM Special Interest Group on Algorithms; Computation Theory (ACM, 2015)