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.
Author(s): Xavier Leroy (auth.), Xavier Leroy, Atsushi Ohori (eds.)
Series: Lecture Notes in Computer Science 1473
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 308
Tags: Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems
Introduction....Pages 1-8
Compiling Java to a typed lambda-calculus: A preliminary report....Pages 9-27
Stack-based Typed Assembly Language....Pages 28-52
How generic is a generic back end? using MLRISC as a back end for the TIL compiler....Pages 53-77
A toolkit for constructing type- and constraint-based program analyses....Pages 78-96
Optimizing ML using a hierarchy of monadic types....Pages 97-115
Type-directed continuation allocation....Pages 116-135
Polymorphic equality — No tags required....Pages 136-155
Optimal type lifting....Pages 156-177
Formalizing resource allocation in a compiler....Pages 178-193
An approach to improve locality using sandwich types....Pages 194-214
Garbage collection via dynamic type inference - A formal treatment -....Pages 215-239
Strong normalization by type-directed partial evaluation and run-time code generation....Pages 240-252
Determination of dynamic method dispatches using run-time code generation....Pages 253-271
Type-based analysis of concurrent programs....Pages 272-272
A type-based semantics for user-defined marshalling in polymorphic languages....Pages 273-297
