John Plevyak, Andrew A. Chien  Home/Search
Context Related
| uiuc.edu/pub/dept/...CSR931829.ps.gz rocq.inria.fr/~tho...evyakChien96.ps.gz ucsd.edu/papers/ti.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: rocq.inria.fr/~thomasse/D...index (more) From: rocq.inria.fr/~thomasse/D...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concrete type information is invaluable for program optimization. The determination of concrete types is, in general, a flow sensitive global data flow problem. As a result, its solution is hampered by the very program structures for whose optimization its results are most critical: dynamic dispatch (as in object-oriented programs) and first class functions (including function pointers). Constraint based type inference systems are an effective way of safely approximating concrete types, but... (Update)
Context of citations to this paper: More
.... has been the vehicle for extensive research on compiler optimization and runtime techniques over the past five years [9, 32, 29, 30, 33, 28, 31, 12, 44, 23, 22]. While no system contains all known optimizations, the Concert system contains a wide range of aggressive...
...class. 1 Introduction Static analysis of programs is gaining importance: it is the core of any optimizing or parallelizing compiler [20]. Other programming tools based on static analysis are also emerging: 3] describes a tool that can extract compact applications from...
Cited by: More
The Illinois Concert System: Programming Support for Irregular.. - Chien, al. (1994) (Correct)
Fast Object Operations in a Persistent Programming System - Myers (1994) (Correct)
Sifting Out the Gold - Delivering Compact Applications from an .. - Agesen, Ungar (1994) (Correct)
Similar documents (at the sentence level):
6.1%: Precise Concrete Type Inference for Object-Oriented Languages - John Plevyak Andrew (1994) (Correct)
Active bibliography (related documents): More All
0.2: Compact Dispatch Tables for Dynamically Typed Programming Languages - Vitek (1995) (Correct)
0.2: Taming Message Passing: Efficient Method Look-Up for.. - Vitek, Horspool (1994) (Correct)
0.2: Automatic Interprocedural Optimization for Object-Oriented.. - Plevyak, Chien (1996) (Correct)
Similar documents based on text: More All
0.1: Evaluation of Rate-based Transport Protocols for Lambda-Grids - Xinran Ryan Wu (Correct)
0.1: Obtaining Sequential Efficiency for Concurrent.. - Plevyak, Zhang, Chien (1995) (Correct)
0.1: A Hybrid Execution Model for Fine-Grained Languages.. - Plevyak.. (1995) (Correct)
Related documents from co-citation: More All
2: Object oriented parallel programming (context) - Lee, Gannon - 1991
2: ABCL: An Object-Oriented Concurrent System (context) - Yonezawa - 1990
2: Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritanc.. - Agesen, Palsberg et al. - 1993
BibTeX entry: (Update)
John Plevyak and Andrew Chien. Incremental inference of concrete types. Technical Report UIUCDCS-R-93-1829, Department of Computer Science, University of Illinois, Urbana, Illinois, June 1993. http://citeseer.ist.psu.edu/plevyak93incremental.html More
@techreport{ plevyak93incremental,
author = "John Plevyak and Andrew A. Chien",
title = "Incremental inference of concrete types",
number = "UIUCDCS-R-93-1829",
year = "1993",
url = "citeseer.ist.psu.edu/plevyak93incremental.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
152 An efficient method of computing static single assignment fo.. (context) - Cytron, Ferrante et al. - 1991
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991
67 Iterative type analysis and extended message splitting - Chambers, Ungar - 1990
56 A lambda calculus of objects and method specialization (context) - Mitchell, Honsell et al. - 1993
49 Automatic construction of sparse dataflow evaluation graphs (context) - Choi, Cytron et al. - 1990
46 Concurrent Aggregates: Supporting Modularity in Massively-Pa.. (context) - Chien - 1993
38 Safe and decidable type checking in an object-oriented langu.. - Bruce, Crabtree et al. - 1993
37 Making type inference practical (context) - Oxhoj, Palsberg et al. - 1992
36 A type system for smalltalk - Graver, Johnson - 1990
30 Inferring types in smalltalk (context) - Suzuki - 1981
17 The concert system -- compiler and runtime support for effic.. - Chien, Karamcheti et al. - 1993
13 Concurrent aggregates language report (context) - Chien, Karamcheti et al. - 1993
13 Implementation of Functional Languages (context) - Peyton-Jones - 1987
4 Type inference of SELF: Analysis of objects with dynamic and.. (context) - Agensen, Palsberg et al. - 1993
1 10 The Illinois Concert System including this type inference.. (context) - Agensen - 1993
1 Proceeding of the 1992 ACM Symposium on Partial Evaluation a.. (context) - Rytz, Gengler et al. - 1992
1 Sort typing with conditional types (context) - Aiken, Wimmers et al. - 1994
Documents on the same site (http://www-rocq.inria.fr/~thomasse/DEA/index.html): More
Efficient data flow analysis using DJ-graphs: Elimination.. - Sreedhar, Gao, Lee (1995) (Correct)
Lazy Code Motion - Knoop, Rüthing, Steffen (1992) (Correct)
Points-to Analysis by Type Inference of Programs with.. - Steensgaard (1996) (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