Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

This volume contains the papers and abstracts presented at POPL '02, the Twenty-Ninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. The POPL conference is a forum for presentation of research on the design, definition, analysis, and implementation of programming languages and programming systems. This year's conference is in Portland, Oregon.A total of 128 ten-page extended abstracts were received in response to a call for papers. SIGPLAN policy forbids submission from members of the program committee. Each submission was read by members of the program committee and short reviews were collected and discussed by the committee as a whole. The deliberation led to the selection of 28 papers. Papers were judged according to their originality, clarity, innovation, perceived importance of the results, and appropriateness to the expected audience. Due to the format of the conference, many good papers were not selected.In addition to the contributed papers, the POPL '02 program features three invited talks. The invited speakers were selected by the committee to complement and enhance the program of contributed papers.Although submissions were read and evaluated, the papers that appear in this volume may differ in form and content from the submitted abstracts. The conference selection process does not constitute full review of the work. It is expected that many of the papers printed here will be revised and submitted to refereed archival journals for publication.