John Plevyak Andrew A. Chien Department of Computer Science 1304 W....  Home/Search
Context Related
| ucsd.edu/papers/tioopsla94.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: ucsd.edu/papers/Concertp (more) (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 in object-oriented languages is a flow sensitive global data flow problem. It is made difficult by dynamic dispatch (virtual function invocation) and first class functions (and selectors) -- the very program structures for whose optimization its results are most critical. Previous work has shown that constraint-based type inference systems can be used to safely approximate concrete types [15],... (Update)
Cited by: More
UML-based Alias Control - Liu, Milanova (Correct)
Composition Inference for UML Class Diagrams - Milanova (2006) (Correct)
Fragment Class Analysis for Testing of Polymorphism in.. - Rountev, Milanova, Ryder (2004) (Correct)
Similar documents (at the sentence level):
6.4%: Incremental Inference of Concrete Types - Plevyak, Chien (1993) (Correct)
6.1%: Iterative Flow Analysis - Plevyak, Chien (1995) (Correct)
Active bibliography (related documents): More All
0.1: Automatic Interprocedural Optimization for Object-Oriented.. - Plevyak, Chien (1996) (Correct)
0.1: Type Directed Cloning for Object-Oriented Programs - Plevyak, Chien (1995) (Correct)
0.1: Developments in Object-Oriented Type Systems - Schwartzbach (1994) (Correct)
Similar documents based on text: More All
0.1: A Hybrid Execution Model for Fine-Grained Languages.. - Plevyak.. (1995) (Correct)
0.1: Realistic Large-Scale Online Network Simulation - Liu, Chien (2004) (Correct)
0.1: Obtaining Sequential Efficiency for Concurrent.. - Plevyak, Zhang, Chien (1995) (Correct)
Related documents from co-citation: More All
54: Object-oriented type inference - Palsberg, Schwartzbach - 1991
31: Optimizing dynamicallydispatched calls with run-time type feedback (context) - Holzle, Ungar - 1994
30: Optimization of object-oriented programs using static class hierarchy analysis - DEAN, GROVE et al. - 1995
BibTeX entry: (Update)
John Plevyak and Andrew A. Chien. Precise concrete type inference for objectoriented languages. In OOPSLA `94 Conference Proceedings, pp. 324-340, October 1994. Published as SIGPLAN Notices 29(10), October 1994. http://citeseer.ist.psu.edu/plevyak94precise.html More
@inproceedings{ plevyakprecise,
author = "John Plevyak and Andrew A. Chien",
title = "Precise Concrete Type Inference for Object-Oriented Languages",
pages = "324--340",
url = "citeseer.ist.psu.edu/plevyak94precise.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991
145 Customization: Optimizing compiler technology for Self (context) - Chambers, Ungar - 1989
95 Making pure objectoriented languages practical - Chambers, Ungar - 1991
78 Soft typing - Cartwright, Fagan - 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
48 Type inference of Self: Analysis of objects with dynamic and.. - Agesen, Palsberg et al. - 1993
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
36 A type system for smalltalk - Graver, Johnson - 1990
23 Making type inference practical - Oxhj, Palsberg et al. - 1992
13 Concurrent aggregates language report (context) - Chien, Karamcheti et al. - 1993
1 Personal communication (context) - Agesen - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-csag.ucsd.edu/papers/Concert-p.html): More
Analysis of Dynamic Structures for Efficient Parallel.. - Plevyak, Karamcheti, Chien (1993) (Correct)
High-Level Parallel Programming of An Adaptive Mesh.. - Ganguly, Chien (Correct)
Type Directed Cloning for Object-Oriented Programs - Plevyak, Chien (1995) (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