Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - Necula, George (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Algorithms and Computation Theory; ACM Special Interest Group on Programming Languages (ACM, 2008)