Skip to main content
SpringerLink
Log in

Types in Compilation

Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Xavier Leroy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Atsushi Ohori
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1473)

Included in the following conference series:

Conference proceedings info: TIC 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • Xavier Leroy
    Pages 1-8

  3. Compiling Java to a typed lambda-calculus: A preliminary report

    • Andrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann
    Pages 9-27

  4. Stack-based Typed Assembly Language

    • Greg Morrisett, Karl Crary, Neal Glew, David Walker
    Pages 28-52

  5. How generic is a generic back end? using MLRISC as a back end for the TIL compiler

    • Andrew Bernard, Robert Harper, Peter Lee
    Pages 53-77

  6. A toolkit for constructing type- and constraint-based program analyses

    • Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
    Pages 78-96

  7. Optimizing ML using a hierarchy of monadic types

    • Andrew Tolmach
    Pages 97-115

  8. Type-directed continuation allocation

    • Zhong Shao, Valery Trifonov
    Pages 116-135

  9. Polymorphic equality — No tags required

    • Martin Elsman
    Pages 136-155

  10. Optimal type lifting

    • Bratin Saha, Zhong Shao
    Pages 156-177

  11. Formalizing resource allocation in a compiler

    • Peter Thiemann
    Pages 178-193

  12. An approach to improve locality using sandwich types

    • Daniela Genius, Martin Trapp, Wolf Zimmermann
    Pages 194-214

  13. Garbage collection via dynamic type inference - A formal treatment -

    • Haruo Hosoya, Akinori Yonezawa
    Pages 215-239

  14. Strong normalization by type-directed partial evaluation and run-time code generation

    • Vincent Balat, Olivier Danvy
    Pages 240-252

  15. Determination of dynamic method dispatches using run-time code generation

    • Nobuhisa Fujinami
    Pages 253-271

  16. Type-based analysis of concurrent programs

    • Naoki Kobayashi
    Pages 272-272

  17. A type-based semantics for user-defined marshalling in polymorphic languages

    • Dominic Duggan
    Pages 273-297
Back to top

Other volumes

  1. Types in Compilation

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation