Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-05-02
2006-05-02
Das, Chameli C. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S140000, C717S154000, C711S142000, C711S202000
Reexamination Certificate
active
07039908
ABSTRACT:
Location types in unification-based, flow-insensitive “points-to” analyses represent three kinds of sets of abstract memory locations in a three-level subtyping system. The data constructor for “middle” and “upper” kinds of location types has a reader and a writer component. The “middle” kind of location types represent singleton sets of abstract locations. The reader and writer components of the “middle” type are both the same location type. The “upper” kind of location types represent complex sets of abstract locations. The reader and writer components of the “upper” type may be dissimilar location types. The reader components represent the set of values that may be read from memory via a pointer represented by the location type containing the reader component. The writer components represent the set of values that may be written to memory via a pointer represented by the location type containing the writer component.
REFERENCES:
patent: 5493675 (1996-02-01), Faiman et al.
patent: 5535391 (1996-07-01), Hejlsberg et al.
patent: 5613117 (1997-03-01), Davidson et al.
patent: 5836014 (1998-11-01), Faiman, Jr.
patent: 6072950 (2000-06-01), Steensgaard
patent: 6078745 (2000-06-01), De Greef et al.
patent: 6202202 (2001-03-01), Steensgaard
patent: 6442663 (2002-08-01), Sun et al.
patent: 6691301 (2004-02-01), Bowen
patent: 6799315 (2004-09-01), Waki et al.
patent: 6856950 (2005-02-01), Abts et al.
patent: 6904577 (2005-06-01), Schubert et al.
patent: 6912541 (2005-06-01), Sievert
patent: 6934942 (2005-08-01), Chilimbi
patent: 2002/0010911 (2002-01-01), Cheng et al.
TITLE: Characterizing the Memory Behavior of Compiler-Parallelized Applications, author: Torrie et al, IEEE, Aug. 1995.
TITLE: Comparative Study of Page-based and Segment-based Software DSM through compiler optimization, author: Junpei Niwa et al, ACM, 2000.
TITLE: On the importance of Points-To anlysis and other memory disambiguation methods for C programs, author: Ghiya et al, ACM, 2001.
TITLE: Points-to Analysis for Java Using Annotated constraints, author: Rountev et al, ACM, 2001.
“ACM SIGPLAN—Programming Language Design and Implementation,” Association for Computing Machinery, Jun. 18-21,1995, 13 pages.
“1998 ACM SIGPLAN—Foundations of Software Engineering,” Association for Computing Machinery, Nov. 3-5, 1998, 13 pages.
Dissertation Abstracts International—B “The Sciences and Engineering” vol. 60 No. 5, Nov. 1999, 5 pages.
“2000 ACM SIGPLAN—Programming Language Design and Implementation,” Association for Computing Machinery, Jun. 18-21, 2000, 13 pages.
“2001 ACM SIGPLAN—SIGSOFT Workshop on Program Analysis for Software Tools and Engineering,” Association for Computing Machinery, Jun. 18-19, 2001, 9 pages.
“Variable-precision Reaching Definitions Analysis” J. Softw: Maint: Res. Pract. 11, 117-142 (1999).
ACM SIGSOFT Symposium on the Fountains of Software Engineering; “Efficient Points-To Analysis For Whole-Program Analysis” Sep. 1999; 17 pages.
Das Chameli C.
Hennings Mark R.
Merchant & Gould P.C.
Microsoft Corporation
LandOfFree
Unification-based points-to-analysis using multilevel typing does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Unification-based points-to-analysis using multilevel typing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unification-based points-to-analysis using multilevel typing will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3593321