Skip to content

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

Spend $50 to get a free movie!

ISBN-10: 3540649255

ISBN-13: 9783540649250

Edition: 1998

Authors: X. Leroy, A. Ohori

List price: $99.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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.
Customers also bought

Book details

List price: $99.00
Copyright year: 1998
Publisher: Springer Berlin / Heidelberg
Publication date: 8/19/1998
Binding: Paperback
Pages: 308
Size: 6.10" wide x 9.25" long x 0.75" tall
Weight: 2.156
Language: English

Typed intermediate languages
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report
Stack-Based Typed Assembly Language
How Generic is a Generic Back End? Using MLRISC as a Back End for the TIL Compiler
Program analysesA Toolkit for Constructing Type- and Constraint-Based Program Analyses (invited talk)
Optimizing ML Using a Hierarchy of Monadic Types
Type-Directed Continuation Allocation
Valery Trifonov Program transformations and code generation
Polymorphic Equality
No Tags Required
Optimal Type Lifting Bratin Saha
Formalizing Resource Allocation in a Compiler
Memory management
An Approach to Improve Locality Using Sandwich Types
Garbage Collection via Dynamic Type Inference
A Formal Treatment
Akinori Yonezawa Partial evaluation and run-time code generation
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
Determination of Dynamic Method Dispatches Using Run-Time Code Generation
Distributed computingType-Based Analysis of Concurrent Programs (abstract of invited talk)
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages