Robert O'Callahan. Scalable Program Analysis and Understanding Based on Type Inference. PhD Thesis Proposal, School of Computer Science, Carnegie Mellon University, Pittsburgh PA. January 1998. www.cs.cmu.edu/~roc/thesisproposal. html. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Lightweight Extraction of Object Models from Bytecode - Jackson, Waingold (1999) (15 citations) (Correct)
....of modules to suggest reorganization) Our approach was partly inspired by Murphy and Notkin s work on lightweight source model extraction [MN96] although Womble is syntactic and not lexical. We were also influenced by Robert O Callahan s recent work on type based analysis of Java bytecode [OCa98]. 9 Conclusions Womble uses a collection of simple heuristics to extract object models from bytecode. The analysis is linear, mostly monotonic (as classes are added) and reasonably accurate. After only a few months of use of the tool, we are finding it indispensable. In the future, we hope to ....
Robert O'Callahan. Scalable Program Analysis and Understanding Based on Type Inference. PhD Thesis Proposal, School of Computer Science, Carnegie Mellon University, Pittsburgh PA. January 1998. www.cs.cmu.edu/~roc/thesisproposal. html.
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