Torben Amtoft, Robert Muller  Home/Search
Context
Related
| ksu.edu/~tamtoft/Papers/Amt+...short.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: ksu.edu/~tamtoft/Papers/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of tuples and variants directly in the register file. We present an algorithm that generates constraints for assigning annotations, and prove its soundness with respect to the type system. (Update)
Active bibliography (related documents): More All
1.6: Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
0.4: A Practical and Flexible Flow Analysis for Higher-Order Languages - Ashley (1996) (Correct)
0.4: Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (Correct)
Similar documents based on text: More All
0.2: Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (Correct)
0.2: Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (Correct)
0.2: A Calculus with Polymorphic and Polyvariant Flow Types - Wells, Dimock, Muller, Turbak (1999) (Correct)
BibTeX entry: (Update)
@misc{ amtoft-inferring,
author = "Torben Amtoft and Robert Muller",
title = "Inferring Annotated Types for Inter-procedural Register Allocation with
Constructor Flattening",
url = "citeseer.ist.psu.edu/article/amtoft02inferring.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
201 to typed assembly language (context) - Morrisett, Walker et al. - 1999
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
89 closure-passing style (context) - Appel, Jim - 1989
79 A type-based compiler for Standard ML - Shao, Appel - 1995
50 Semantics of memory management for polymorphic languages - Morrisett, Harper - 1996
41 From ML to Ada: Strongly-typed language interoperability via.. - Tolmach, Oliva - 1998
37 Compiling with Types (context) - Morrisett - 1995
35 towards the Integration of Functional and Imperative Program.. (context) - Lucassen, ects - 1987
31 Strongly typed flow-directed representation transformations - Dimock, Muller et al. - 1997
19 Flow-directed closure conversion for typed languages - Cejtin, Jagannathan et al. - 2000
11 cient closure representations (context) - Shao, Appel - 1994
8 Lightweight closure conversion - Steckler, Wand - 1997
6 Functioning without closure: Type-safe customized function r.. - Dimock, Westmacott et al. - 2001
6 Design and correctness of program transformations based on c.. - Banerjee, Heintze et al. - 2001
5 Code Optimisation Techniques for Lazy Functional Languages (context) - Boquist - 1999
4 Types for register allocation - Agat - 1998
3 cient implementation of multiple return values in scheme (context) - Ashley, Dybvig - 1994
2 A Typed Functional Language for Expressing Register Usage - Agat - 1998
Documents on the same site (http://www.cis.ksu.edu/~tamtoft/Papers/papers.html): More
Local Type Reconstruction by Means of Symbolic Fixed Point.. - Amtoft (1994) (Correct)
Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (Correct)
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (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