2. TIC 1998: Kyoto, Japan

Xavier Leroy, Atsushi Ohori (Eds.): Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings. Lecture Notes in Computer Science 1473 Springer 1998, ISBN 3-540-64925-5

Xavier Leroy:
Introduction. 1-8

Typed intermediate languages

Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann:
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. 9-27
J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
Stack-Based Typed Assembly Language. 28-52
Andrew Bernard, Robert Harper, Peter Lee:
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. 53-77

Program analyses

Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su:
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. 78-96
Andrew P. Tolmach:
Optimizing ML Using a Hierarchy of Monadic Types. 97-115
Zhong Shao, Valery Trifonov:
Type-Directed Continuation Allocation. 116-135

Program transformations and code generation

Martin Elsman:
Polymorphic Equality - No Tags Required. 136-155
Bratin Saha, Zhong Shao:
Optimal Type Lifting. 156-177
Peter Thiemann:
Formalizing Resourve Allocation in a Compiler. 178-193

Memory management

Daniela Genius, Martin Trapp, Wolf Zimmermann:
An Approach to Improve Locality Using Sandwich Types. 194-214
Haruo Hosoya, Akinori Yonezawa:
Garbage Collection via Dynamic Type Inference - A Fomal Treatment. 215-239

Partial evaluation and run-time code generation

Vincent Balat, Olivier Danvy:
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. 240-252
Nobuhisa Fujinami:
Determination of Dynamic Method Dispatches Using Run-Time Code Generation. 253-271

Distributed computing

Naoki Kobayashi:
Type-Based Analysis of Concurrent Programs. 272
Dominic Duggan:
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. 273-297

Last update Wed May 22 16:43:42 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page