Types In Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings by Xavier LeroyTypes In Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings by Xavier Leroy

Types In Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998…

byXavier LeroyEditorAtsushi Ohori

Paperback

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Types In Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998…Format:PaperbackDimensions:308 pages

The following ISBNs are associated with this title:

ISBN - 10:3540649255

ISBN - 13:9783540649250

Look for similar items by category:

Reviews

Table of Contents

Table of ContentsIntroductionXavier LeroyTyped intermediate languagesCompiling Java to a Typed Lambda-Calculus: A Preliminary ReportAndrew Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann Stack-Based Typed Assembly LanguageGreg Morrisett, Karl Crary, Neal Glew, David Walker How Generic is a Generic Back End? Using MLRISC as a Back End for the TIL CompilerAndrew Bernard, Robert Harper, Peter Lee Program analysesA Toolkit for Constructing Type- and Constraint-Based Program Analyses (invited talk)Alexander Aiken, Manuel Fahndrich, Jeffrey S. Foster, Zhendong Su Optimizing ML Using a Hierarchy of Monadic TypesAndrew Tolmach Type-Directed Continuation AllocationZhong Shao, Valery Trifonov Program transformations and code generationPolymorphic Equality -- No Tags RequiredMartin Elsman Optimal Type LiftingBratin Saha, Zhong Shao Formalizing Resource Allocation in a CompilerPeter Thiemann Memory managementAn Approach to Improve Locality Using Sandwich TypesDaniela Genius, Martin Trapp, Wolf Zimmermann Garbage Collection via Dynamic Type Inference --- A Formal TreatmentHaruo Hosoya, Akinori Yonezawa Partial evaluation and run-time code generationStrong Normalization by Type-Directed Partial Evaluation and Run-Time Code GenerationVincent Balat, Olivier Danvy Determination of Dynamic Method Dispatches Using Run-Time Code GenerationNobuhisa Fujinami Distributed computingType-Based Analysis of Concurrent Programs (abstract of invited talk)Naoki Kobayashi A Type-Based Semantics for User-Defined Marshalling in Polymorphic LanguagesDominic Duggan