An Effective Polyvariant Flow Analysis Andrew K. Wright and Suresh...  Home/Search
Context
Related
| purdue.edu/homes/sures...toplas98.ps.gz 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: readscheme.org/./new2002 (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 \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)
Similar documents (at the sentence level):
18.5%: Flow-directed Inlining - Jagannathan, Wright (1996) (Correct)
6.5%: Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan, Wright (1995) (Correct)
Similar documents based on text: More All
0.8: Polymorphic Splitting: An Effective Polyvariant Flow Analysis - Wright, Jagannathan (1998) (Correct)
0.3: Type-Directed Flow Analysis for Typed Intermediate Languages - Jagannathan, Weeks, Wright (1997) (Correct)
0.2: From Polyvariant Flow Information to Intersection and Union.. - Palsberg, Pavlopoulou (2000) (Correct)
BibTeX entry: (Update)
@misc{ polyvariant-polymorphic,
author = "An Effective Polyvariant",
title = "Polymorphic Splitting:",
url = "citeseer.ist.psu.edu/673634.html" }
Citations not processed or no citations identified.
Documents on the same site (http://library.readscheme.org/./new2002.html): More
Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan, Wright (1995) (Correct)
Extensible Language Implementation - Kolbly (2002) (Correct)
Reachability-Based Memory Accounting - Wick, Flatt, Hsieh (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