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. Springer 1998 Lecture Notes in Computer Science 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
Program transformations and code generation
- Martin Elsman: Polymorphic Equality - No Tags Required. 136-155
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team