Loading...
Please wait, while we are loading the content...
Similar Documents
Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (TLDI '07)
| Content Provider | ACM Digital Library |
|---|---|
| Editor | Pottier, Francois Necula, George |
| Copyright Year | 2007 |
| Abstract | It is our great pleasure to welcome you to the third ACM SIGPLAN Workshop on Types in Language Design and Implementation -- TLDI'07. The TLDI workshops are a continuation of the Types in Compilation -- TIC workshops, the first of which was held in 1997. This series of workshops brings together researchers from the many areas influenced by types and proofs. The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type analyses, and formal deduction have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The mission of these workshops is to bring together researchers in all these areas to share novel ideas and stimulate interaction and discussion on the ever expanding use of types.The call for papers attracted 12 submissions from Asia, Europe, and the United States. The program committee accepted 6 papers that cover a variety of topics, such as type inference, types for intermediate and low-level languages, and program analysis. |
| ISBN | 159593393X |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2007-01-16 |
| Access Restriction | Subscribed |
| Content Type | Text |
| Resource Type | Conference Proceedings |
