Xavier Leroy  Home/Search
Context Related
| pauillac.inria.fr/...boxingtic97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pauillac.inria.fr/ocaml/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We compare the efficiency of type-based unboxing strategies with that of simpler, untyped unboxing optimizations, building on our practical experience with the Gallium and Objective Caml compilers. We find the untyped optimizations to perform as well on the best case and significantly better in the worst case. (Update)
Cited by: More
Retrospective: - Til Type-Directed Optimizing (Correct)
Functorial Lambda-Calculus - Jay School Of (Correct)
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (Correct)
Active bibliography (related documents): More All
0.4: An overview of Types in Compilation - Leroy (1998) (Correct)
0.4: On the Runtime Complexity of Type-Directed Unboxing - Minamide (1998) (Correct)
0.3: A Syntactic Approach to Structure Generativity - Grosch (1996) (Correct)
Similar documents based on text: More All
0.6: Type-Based Analysis and Applications - Palsberg (2001) (Correct)
0.4: Representation Analysis for Coercion Placement - Faxén (Correct)
0.4: Unboxed Objects and Polymorphic Typing - Leroy (1992) (Correct)
Related documents from co-citation: More All
8: Compiling with Continuations (context) - Appel - 1992
8: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
8: Flexible representation analysis - Shao - 1997
BibTeX entry: (Update)
X. Leroy. The effectiveness of type-based unboxing. In Workshop on Types in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published as Boston College Computer Science Dept. Technical Report BCCS-97-03. http://citeseer.ist.psu.edu/leroy97effectiveness.html More
@misc{ leroy97effectiveness,
author = "X. Leroy",
title = "The effectiveness of type-based unboxing",
text = "X. Leroy. The effectiveness of type-based unboxing. In Workshop on Types
in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published as Boston College
Computer Science Dept. Technical Report BCCS-97-03.",
year = "1997",
url = "citeseer.ist.psu.edu/leroy97effectiveness.html" }
Citations (may not include all citations):210 TIL: a type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996 DBLP
162 Unboxed objects and polymorphic typing - Leroy - 1992
127 Control-flow analysis in Scheme (context) - Shivers - 1988 DBLP
79 A type-based compiler for Standard ML - Shao, Appel - 1995 ACM DBLP
73 Unboxed values as first-class citizens in a non-strict funct.. - Peyton-Jones, Launchbury - 1991
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994 ACM DBLP
50 Flexible representation analysis - Shao - 1997 ACM DBLP
42 An ad hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991 ACM DBLP
37 Compiling with types (context) - Morrisett - 1995
23 Garbage collection for strongly-typed languages using runtim.. - Aditya, Flood et al. - 1994
23 Run-time tags aren't necessary - Appel - 1989
22 Storage use analysis and its applications - Serrano, Feeley - 1996 ACM DBLP
21 Software and documentation available on the Web (context) - Leroy, Vouillon et al. - 1996
18 Partial evaluation for dictionary-free overloading - Jones - 1993
10 strongly-typed language interoperability via source translat.. (context) - Oliva, Tolmach et al. - 1996
7 Control flow analysis: a functional language compilation par.. (context) - Serrano - 1995
3 An unboxed operational semantics for ML polymorphism - Ohori, Takamizawa - 1997 ACM DBLP
3 eme Caml Special Light: modules et compilation efficace en C.. (context) - Leroy - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pauillac.inria.fr/ocaml/papers.html): More
A concurrent, generational garbage collector for a.. - Doligez, Leroy (1993) (Correct)
The Zinc Experiment: An Economical Implementation Of The Ml Language - Leroy (1990) (Correct)
Portable, Unobtrusive Garbage Collection for Multiprocessor.. - Damien Doligez (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC