Loading...
Please wait, while we are loading the content...
Similar Documents
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (TLDI '03)
Content Provider | ACM Digital Library |
---|---|
Editor | Lee, Peter Shao, Zhong |
Copyright Year | 2003 |
Abstract | This volume contains the papers presented at TLDI'03, the ACM SIGPLAN Workshop on Types in Language Design and Implementation (formerly called TIC, the International Workshop on Types in Compilation). TLDI is a new name for the already well-established TIC workshop on the role of types in all aspects of language design, compiler construction, and software development. In recent years, type systems and type analyses have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, code optimization, and many other areas. In recognition of the expanding role of types, TLDI expands on the previous Workshops on Types in Compilation to bring together researchers to share new ideas and results in this area.In response to the call for papers, researchers from the U.S., Europe, and Japan submitted a total of 26 extended abstracts. Each submission was assigned for review to at least three program-committee members. Some submissions were reviewed by more than three members of the committee. In addition, a number of additional experts outside the program committee assisted in reviewing the submissions. The program committee conducted its deliberations via email and the World-Wide Web, during an intensive six day period. As usual, technical excellence, novelty, relevance, and quality were the principal criteria, with special focus on papers that broadened the theme of the previous TIC workshops.While the modest number of submissions made it possible to give each paper an unusually thorough review, The program committee found them to be of extremely high quality. Hence, while the selection process ran exceptionally smoothly, it was actually quite difficult to narrow down the field to a manageable number of papers. Ultimately, the program committee decided to drop its initial plans for an invited speaker so that more papers could be invited for presentation at the workshop. Even so, only 11 papers could be accepted, which meant that several very good abstracts could not be accommodated. |
ISBN | 1581136498 |
Language | English |
Publisher | Association for Computing Machinery (ACM) |
Publisher Date | 2003-01-18 |
Access Restriction | Subscribed |
Content Type | Text |
Resource Type | Conference Proceedings |