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

Name: Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998, Proceedings
Price: 52.16 USD
Availability: InStock
ISBN: 9783540649250

ISBN-10: 3540649255

ISBN-13: 9783540649250

Edition: 1998

Authors: X. Leroy, A. Ohori

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $52.16

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $54.99
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



Introduction



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