MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Relevant Context Inference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

Relevant Context Inference
by Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi — 1999
…Relevant Context Inference Ramkrishna Chatterjee y Barbara G. Ryder y y Department…
Cited by 90 (18 self) – Add To MetaCart

Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages
by Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder — 2000
…. In this thesis we present a new data-flow analysis technique called Relevant Context Inference (RCI) for modular…
Cited by 7 (2 self) – Add To MetaCart

Data-flow-based Testing of Object-Oriented Libraries
by Ramkrishna Chatterjee, Barbara G. Ryder — 1999
…). In [CRL99, Cha99] we introduced a new technique called relevant context inference for modular, flowand…
Cited by 21 (7 self) – Add To MetaCart

Modular Interprocedural Pointer Analysis Using Access Paths: Design, Implementation, and Evaluation
by Ben-chung Cheng, Wen-Mei W. Hwu — 2000
… is similar to Relevant Context Inference (RCI), proposed by Chatterjee et al. [6], since we both use modular…
Cited by 73 (5 self) – Add To MetaCart

Automatic Inference of Class Invariants
by Francesco Logozzo — 2004 — In Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI ’04), volume 2937 of Lectures Notes in Computer Science
… the contexts. Example 1. A class invariant for Stack can be inferred by instantiating D a with the Octagon…
Cited by 13 (5 self) – Add To MetaCart

A Static Study of Java Exceptions using JESP
by Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah — 1999
…-sensitive analysis, called relevant context inference (RCI) for a subset of Java that can model exception control…
Cited by 10 (0 self) – Add To MetaCart

Practical and Accurate Low-Level Pointer Analysis
by Bolei Guo Matthew, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August — 2005 — In 3nd Int. Symp. on Code Gen. and Opt
… for low-level code. It combines elements from the Relevant Context Inference (RCI) algorithm [6…
Add To MetaCart

Object Graph Analysis
by André Spiegel — 1999
… relevant for our purposes. In [CRL99], an approach called Relevant Context Inference (RCI) is described…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB