Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2007-09-18
2007-09-18
Ingberg, Todd (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S126000
Reexamination Certificate
active
10115508
ABSTRACT:
Externally referenced interfaces of a program are statically detected. The static detection of the externally referenced interfaces is performed prior to runtime and without the source code of the program. Input to the static detection is the compiled output of the program, and the output is a list of the externally referenced interfaces of the program.
REFERENCES:
patent: 5560010 (1996-09-01), Albert
patent: 5651111 (1997-07-01), McKeeman et al.
patent: 5659751 (1997-08-01), Heninger
patent: 5659753 (1997-08-01), Murphy et al.
patent: 5923880 (1999-07-01), Rose et al.
patent: 5943496 (1999-08-01), Li et al.
patent: 6011916 (2000-01-01), Moore et al.
patent: 6029207 (2000-02-01), Heninger
patent: 6061520 (2000-05-01), Yellin et al.
patent: 6074432 (2000-06-01), Guccione
patent: 6081665 (2000-06-01), Nilsen et al.
patent: 6110226 (2000-08-01), Bothner
patent: 6138170 (2000-10-01), Matheson
patent: 6158048 (2000-12-01), Lueh et al.
patent: 6182277 (2001-01-01), DeGroot et al.
patent: 6192516 (2001-02-01), Griesemer
patent: 6205578 (2001-03-01), Grove
patent: 6219835 (2001-04-01), House
patent: 6223346 (2001-04-01), Tock
patent: 6230312 (2001-05-01), Hunt
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6278960 (2001-08-01), De Groot
patent: 6282698 (2001-08-01), Baker et al.
patent: 6343287 (2002-01-01), Kumar et al.
patent: 6385722 (2002-05-01), Connelly et al.
patent: 6499137 (2002-12-01), Hunt
patent: 6505344 (2003-01-01), Blais et al.
patent: 6507857 (2003-01-01), Yalcinalp
patent: 6546433 (2003-04-01), Matheson
patent: 6546553 (2003-04-01), Hunt
patent: 6584491 (2003-06-01), Niemi et al.
patent: 6584507 (2003-06-01), Bradley et al.
patent: 6601233 (2003-07-01), Underwood
patent: 6609130 (2003-08-01), Saulpaugh et al.
patent: 6615342 (2003-09-01), Bopardikar et al.
patent: 6651080 (2003-11-01), Liang et al.
patent: 6654953 (2003-11-01), Beaumont et al.
patent: 6665865 (2003-12-01), Ruf
patent: 6681385 (2004-01-01), Steensgaard et al.
patent: 6725451 (2004-04-01), Schuetz et al.
patent: 6728716 (2004-04-01), Bhattacharya et al.
patent: 6769001 (2004-07-01), Halstead et al.
patent: 6788317 (2004-09-01), Gardas et al.
patent: 6859810 (2005-02-01), Andrei et al.
patent: 6901588 (2005-05-01), Krapf et al.
patent: 7058943 (2006-06-01), Blais et al.
patent: 7120908 (2006-10-01), Klimchynski
patent: 0974897 (2000-01-01), None
patent: 10091446 (1997-07-01), None
patent: 02000181724 (2000-06-01), None
patent: 2000200182 (2000-06-01), None
patent: WO9837486 (1997-02-01), None
patent: WO 0038073 (1999-11-01), None
patent: WO9949392 (1999-11-01), None
Core JAVA 2 vol. II—Advanced Features, Cay S. Horstmann et al, pp. 298-317, 1999.
“Efficient Polymorphic Calls”, Karel Driesen, 2001, pp. 9-10.
“Generation of Compiler Symbol Processing Mechanisms from Specifications”, Stephen P. Reiss, ACM, Apr. 1983, pp. 127-163.
“Communications between independently translated blocks”,Peter Wegner, ACM, Jul. 1962, pp. 376-381.
“The Design of a Space Efficient Compiler”, Michael K Donegan, Aug. 1978, ACM, pp. 62-70.
“Linkers and Loaders”, Leon Presser et al, Sep. 1972, ACM, pp. 149-167.
“Distributed Shared Library” Herman C. Rao et al., ACM 1992, pp. 1-5.
“Proof-Linking:Modular Verification of Mobile Programs in the Presence of Lazy Dynamic Linking”, Philip W.L. Fong et al, ACM, Oct. 2000, pp. 379-409.
“A Specification of Java Loading and Bytecode Verification”, Allen Goldberg ACM, 1998, pp. 49-58.
“Linkers & Loaders”, John R. Levine , Oct. 11, 1999, pp. 71-92, 117-129, 144- 145, 216-222.
The JAVA Virtual Macnije Specification Second Edition, Tim Lindolm et al, published Apr. 22, 1999. pp. 155-170.
Microsoft Press Computer Dictionary third Edition, Aug. 19, 1997, p. 166.
IBM Dictionary of Computing, IBM, 1994, p. 225.
Beginning Visual C++ 5, Ivan Horton, Mar. 19, 1997, pp. 715-734.
Linkers & Loaders, John R. Levine, Oct. 11, 1999, pp. 117-129.
WRL Technical Note TN-19 System for Late Code Modification, David W. Wall, DEC, Jun. 1991, 19 pages.
Program Analysis Alleviates Java Synchronization, Jeffrey George Bogda, University of California Santa Barbara, Dec. 2001, 169 pages.
JAVA!, Tim Richey, New Riders Publishing, Sep. 22, 1995, pp. 1-54, 125-187, 305-346.
Removing Unnecessary Synchronization in Java, Jeff Bogda et al, ACM, 1999, pp. 35-46.
Program Analysis Alleviated Java Synchronization, J.G. Bogda, UCSB, 2001, 11 pages.
“Help Java class to read parameters defined in external files has Java clas which wants to get parameters in HTML file, establish client socket connection with applet”, International Business Machines Corporation, RD-437121.
“Debugging JITted Java Code”, E.J. Hilpert, Jr., R.C. Blaisdell, RD v 42 n420 Apr. 1999 article 42092.
“Java Dynamic Class Loader”, IBM Technical Disclosure Bulletin, vol. 39, No. 11, Nov. 1996, pp. 107-108.
Heslin Rothenberg Farley & & Mesiti P.C.
Ingberg Todd
International Business Machines - Corporation
LandOfFree
Statically detecting externally referenced interfaces of a... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Statically detecting externally referenced interfaces of a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Statically detecting externally referenced interfaces of a... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3785104