Fermin Reig  Home/Search
Context Related
| cs.nott.ac.uk/~fxr...eig_babel_2001.pdf 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: cs.nott.ac.uk/~fxr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper identifies high-level program properties that can be discovered by static analysis in a compiler front end, and that are useful for classical low-level optimizations. We suggest how intermediate language code could be annotated to convey these properties to the code generator. (Update)
Context of citations to this paper: More
.... have been proposed for enhancing the performance of JIT compilers using Java bytecode and other intermediate representations [ANH00, KC01, BFHS02, Rei01]. The annotations of [KC01] and [BFHS02] will not compromise type safety. Both [ANH00] and [KC01] suggest utilizing...
Cited by: More
Tamper-Proof Annotations, by Construction - Franz, Haldar, Krintz, Stork (Correct)
Making Mobile Code Both Safe and Efficient - Franz, Amme, Beers, Dalton.. (2003) (Correct)
Efficient Online Optimization by Utilizing Offline.. - von Ronne.. (2002) (Correct)
Active bibliography (related documents): More All
0.8: Low-Level Run-Time Systems for Generic Code Generators - Reig (2002) (Correct)
0.3: An Uncaught Exception Analysis for Java - Jo, Chang, Yi, Choe (2002) (Correct)
0.3: Granularity of Constraint-based Analysis for Java - Chang, Jo (2001) (Correct)
Similar documents based on text: More All
0.2: An Example Paper - Name (Correct)
0.2: How Many Argument Digits are Needed to Produce n Result Digits? - Heckmann (1999) (Correct)
0.2: Electronic Notes in Theoretical Computer - Science Elsevier To (Correct)
Related documents from co-citation: More All
8: Using annotations to reduce dynamic optimization time - Krintz, Calder - 2000
7: Source encoding using syntactic information source models (context) - Cameron - 1988
7: A new compression scheme for syntactically structured messages (context) - Eck, Changsong et al. - 1998
BibTeX entry: (Update)
Reig, F. Annotations for portable intermediate languages. In N. Benton and A. Kennedy (eds.), Electronic Notes in Theoretical Computer Science, vol. 59, New York, NY, 2001. Elsevier Science Publishers. http://citeseer.ist.psu.edu/reig01annotations.html More
@article{ reig01annotations,
author = "Fermin Reig",
title = "Annotations for Portable Intermediate Languages",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "59",
number = "1",
year = "2001",
url = "citeseer.ist.psu.edu/reig01annotations.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
96 Branch prediction for free - Ball, Larus - 1993
79 A portable global optimizer and linker (context) - Benitez, Davidson - 1988
57 Modern Compiler Implementation in ML (context) - Appel - 1998
44 Compiler support for garbage collection in a statically type.. - Diwan, Eliot et al. - 1992
34 Type-based analysis of uncaught exceptions - Leroy, Pessaux - 2000
33 Garbage collection and local variable type-precision and liv.. - Agesen, Detlefs et al. - 1998
22 A framework for optimizing java using attributes - Pominville, Qian et al. - 2001
22 a portable assembly language that supports garbage collectio.. (context) - Jones, Ramsey et al. - 1999
10 Better global scheduling using path profiles - Young, Smith - 1998
10 High-level information : An approach for integrating front-e.. - Cho, Tsai et al. - 1998
10 A single intermediate language that supports multiple implem.. - Ramsey, Jones - 2000
9 Using and Porting the GNU Compiler Collection - Stallman - 2001
7 An overview of the Intel IA-64 compiler - Dulong, Krishnaiyer et al. - 1999
7 ective partial redundancy elimination (context) - Briggs, Cooper - 1994
6 ects and transformations (context) - Benton, Kennedy - 2000
5 Compact garbage collection tables (context) - Tarditi - 2000
3 ACM Transactions on Programming Languages and Systems (context) - Hailperin, motion - 1998
3 ective estimation of uncaught exceptions in Standard ML prog.. (context) - Yi, Ryu et al. - 2001
2 MLRISC: A framework for retargetable and optimizing compiler.. (context) - George, Leung - 2000
1 Available from httpwww (context) - IEC, the et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.nott.ac.uk/~fxr/): More
Low-Level Run-Time Systems for Generic Code Generators - Reig (2002) (Correct)
Making Mobile Code Both Safe and Efficient - Franz, Amme, Beers, Dalton.. (2003) (Correct)
C-: A Portable Assembly Language That Supports Garbage.. - Jones, Ramsey, Reig (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