Methods for enhancing type reconstruction

Details Methods for enhancing type reconstruction Methods for enhancing type reconstruction

2005-12-27

2005-12-27

Zhen, Wei Y. (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S151000

Reexamination Certificate

active

06981249

ABSTRACT:
Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.

REFERENCES:
patent: 5812850 (1998-09-01), Wimble
patent: 5822593 (1998-10-01), Lamping et al.
patent: 5848274 (1998-12-01), Hamby et al.
patent: 6151701 (2000-11-01), Humphreys et al.
patent: 6195694 (2001-02-01), Chen et al.
patent: 6223337 (2001-04-01), Blume
patent: 6237134 (2001-05-01), Sundaresan
patent: 6289507 (2001-09-01), Tanaka et al.
patent: 6305009 (2001-10-01), Goor
patent: 6412107 (2002-06-01), Cyran et al.
patent: 6507946 (2003-01-01), Alexander et al.
patent: 6560774 (2003-05-01), Gordon et al.
Etienne Gagnon, Laurie Hendren; “Intra-procedural Inference of Static Types for Java Bytecode”; Sable Technical Report No. 5 Oct. 14, 1998.
Raja Vallee-Rai, Laurie Hendren; “Jimple: Simplifying Java Bytecode for Analyses and Transformations”; Sable Research Group, McGill University, Jul. 1998.
Christopher League et al., “Representing Java Class in a Typed Intermediate Language”, ACM SIGPLAN International Conference on Functional Programming, Sep. 1999, Paris, France.
Robert Fitzgerald et al., “Marmot: An Optimizing Compiler for Java”, Microsoft Research Technical Report MSR-TR-99-33, Jun. 16, 1999.

Affiliated with

Also associated with

Rating

Methods for enhancing type reconstruction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods for enhancing type reconstruction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods for enhancing type reconstruction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3519637