Types in Compilation
Download or Read eBook Types in Compilation PDF written by Xavier Leroy and published by Springer Science & Business Media. This book was released on 1998-08-19 with total page 316 pages. Available in PDF, EPUB and Kindle.
Author | : Xavier Leroy |
Publisher | : Springer Science & Business Media |
Total Pages | : 316 |
Release | : 1998-08-19 |
ISBN-10 | : 3540649255 |
ISBN-13 | : 9783540649250 |
Rating | : 4/5 (55 Downloads) |
Book Synopsis Types in Compilation by : Xavier Leroy
Book excerpt: This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998. The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing.