Atsushi Ohori Japan Advanced Institute of Science and Technology, FAX: +81...  Home/Search
Context
Related
| jaist.ac.jp/~ohori/resear...regalloc.ps 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: jaist.ac.jp/~ohori/res...complist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a proof-theoretical framework for register allocation that accounts for the entire process of register allocation. (Update)
Active bibliography (related documents): More All
0.2: A Typed Functional Language for Expressing Register Usage - Agat (1998) (Correct)
0.2: Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
0.1: Proof-Directed De-compilation of Low-Level Code - Katsumata, Ohori (2001) (Correct)
Similar documents based on text: More All
0.4: Comparing Type-Based and Proof-Directed Decompilation - Mycroft, Ohori, Katsumata (2001) (Correct)
0.4: Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (Correct)
0.3: Polymorphism and Type Inference in Database Programming - Buneman, Ohori (Correct)
BibTeX entry: (Update)
@misc{ japan-register,
author = "Atsushi Ohori Japan",
title = "Register Allocation by Proof Transformation",
url = "citeseer.ist.psu.edu/650314.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
566 Proof-carrying code - Necula, Lee - 1998
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
201 Register allocation via coloring (context) - Chaitin, Auslander et al. - 1981
81 Improvements to graph coloring register allocation - Briggs, Cooper et al. - 1994
54 A polymorphic record calculus and its compilation - Ohori - 1995
35 spilling via graph coloring (context) - Chaitin - 1982
26 Typechecking records and variants in a natural extension of .. (context) - Remy - 1989
26 Logics without the contraction rule (context) - Ono, Komori - 1985
22 Linear scan register allocation - Poletto, Sarkar - 1999
6 The logical abstract machine: a Curry-Howard isomorphism for.. (context) - Ohori - 1999
4 Types for register allocation - Agat - 1998
Documents on the same site (http://www.jaist.ac.jp/~ohori/research/complist.html):
Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (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