Types in Compilation

Types in Compilation
Author: Xavier Leroy
Publisher: Springer Science & Business Media
Total Pages: 316
Release: 1998-08-19
Genre: Computers
ISBN: 9783540649250


Download Types in Compilation Book in PDF, Epub and Kindle

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.


Types in Compilation
Language: en
Pages: 316
Authors: Xavier Leroy
Categories: Computers
Type: BOOK - Published: 1998-08-19 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Ja
Types in Compilation
Language: en
Pages: 320
Authors:
Categories: Compiling (Electronic computers)
Type: BOOK - Published: 1998 - Publisher:

GET EBOOK

Types in Compilation
Language: en
Pages: 213
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expre
Types in Compilation
Language: en
Pages: 316
Authors: Xavier Leroy
Categories: Computers
Type: BOOK - Published: 1998-08-19 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Ja
Types in Compilation
Language: en
Pages: 214
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2001-06-20 - Publisher: Springer

GET EBOOK

The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expre