Andrew K. Wright, Suresh Jagannathan  Home/Search
Context Related
| nec.com/homepages/jaganna...toplas98.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: nec.com/homepag...searchprojects (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: values for our framework are defined as follows: a 2 Avalue = Aconst +Aclosure b 2 Aconst = ftrue; false; number; nilg hl; ae; i 2 Aclosure = Label \Theta Aenv \Theta Contour ae 2 Aenv = Var fin \Gamma! Contour 2 Contour = Label An abstract value a is a set of abstract constants and abstract closures. The abstract constants true and false each denote a single exact value, while the abstract constant number denotes a set of exact values. An abstract closure hl; ae; i identifies... (Update)
Context of citations to this paper: More
.... to obtain more accurate analyses are usually beyond the realm of the easily computable [1] and even 1CFA can be quite slow to compute [22]. Better notions of polyvariant analysis have been developed. In particular, Agesen s CPA [2, 3] analyzes programs with parametric...
...CFAs, modularization can still improve their accuracies. For example, modularized versions of kCFA [1] or the polymorphic splitting CFA [11] can be more accurate than their original whole program versions [10] The correctness of their modular9 ized versions can be proven...
Cited by: More
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (Correct)
Retrospective: - Higher-Order Control-Flow Analysis (Correct)
Type-Based Useless-Variable Elimination - Naoki Kobayashi Koba (1999) (Correct)
Similar documents (at the sentence level):
19.1%: Flow-directed Inlining - Jagannathan, Wright (1996) (Correct)
5.5%: Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan, Wright (1995) (Correct)
Active bibliography (related documents): More All
0.0: Polymorphic Typing of Variables and References - Smith, Volpano (Correct)
0.0: From ML to Ada(!?!): Strongly-typed Language Interoperability .. - Oliva, Tolmach (1997) (Correct)
0.0: A Type-Theoretic Interpretation of Standard ML - Harper, Stone (1998) (Correct)
Similar documents based on text: More All
0.8: Polymorphic Splitting: - An Effective Polyvariant (Correct)
0.3: From Polyvariant Flow Information to Intersection and Union.. - Palsberg, Pavlopoulou (2000) (Correct)
0.2: Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2000) (Correct)
Related documents from co-citation: More All
10: Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
5: Precise concrete type inference for objectoriented languages - Plevyak, Chien - 1994
5: Linear-Time Subtransitive Control Flow Analysis - Heintze, McAllester - 1997
BibTeX entry: (Update)
S. Jagannathan and A. Wright. Polymorphic splitting: An effective polyvariant flow analysis. ACM Trans. Prog. Lang. Syst., 20(1):166--207, 1998. http://citeseer.ist.psu.edu/wright98polymorphic.html More
@article{ wright98polymorphic,
author = "Andrew K. Wright and Suresh Jagannathan",
title = "Polymorphic Splitting: An Effective Polyvariant Flow Analysis",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "20",
number = "1",
month = "January",
publisher = "ACM Press",
pages = "166--207",
year = "1998",
url = "citeseer.ist.psu.edu/wright98polymorphic.html" }
Citations (may not include all citations):58 Simple Imperative Polymorphism - Wright - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.neci.nj.nec.com/homepages/jagannathan/research-projects.html): More
A Unified Treatment of Flow Analysis in Higher-Order Languages - Suresh Jagannathan (1995) (Correct)
Higher-Order Distributed Objects - Cejtin, Jagannathan, Kelsey (1995) (Correct)
Flow-directed Inlining - Jagannathan, Wright (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