Method and apparatus for automatically inferring annotations

Details Method and apparatus for automatically inferring annotations Method and apparatus for automatically inferring annotations

2006-10-10

2006-10-10

Dam, Tuan (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S158000

Reexamination Certificate

active

07120902

ABSTRACT:
A system, method and computer program product for annotating a computer program. The method includes applying a program checking tool to the computer program to produce one or more warnings, mapping one of the warnings into an annotation modification, and modifying the computer program in accordance with the annotation modification. These steps are repeated until the program checking tool produces no warnings that are suitable for mapping into an annotation modification. The resulting modified computer program is then provided to a user for use or further development.

REFERENCES:
patent: 5423027 (1995-06-01), Jackson
patent: 5963739 (1999-10-01), Homeier
patent: 5987252 (1999-11-01), Leino et al.
patent: 6128774 (2000-10-01), Necula et al.
patent: 6154876 (2000-11-01), Haley et al.
patent: 6343376 (2002-01-01), Saxe et al.
patent: 6553362 (2003-04-01), Saxe et al.
patent: 2002/0083418 (2002-06-01), Saxe et al.
Detlefs, David, “An overview of the extended static checking system,”Proceedings of The First Workshop on Formal Methods in Software Practice, pp. 1-9 (Jan. 1996).
Flanagan et al., “Annotation inference for Modular Checkers,”Information Processing Letters, 77: 97-108 (Feb. 2001)
Flanagan, Cormac and Leino, K. R. M., “Houdini, an Annotation Assistant for ESC/Java,”SRC Technical Note 2000-003(Dec. 31, 2000).
Intrinsa Corp., “A Technical Introduction to PREfix/Enterprise” (1998).
Leino et al., “Checking Java Programs via Guarded Commands,”SRC Technical Note 1999-002, Compaq Computer Corporation (May 21, 1999).
Leino et al., “ESC/Java User's Manual,”Technical Note 2000-002, Compaq Systems Research Center (Oct. 2000).
Levine et al., “lex & yacc” (2nd ed.) (O'Reilly Publ. 1992).
Leino, K. R. M. and Nelson, G., “An extended static checker for Modula-3,”In Compiler Construction: 7thInternational Conference, CC'98(Kai Koskimies, ed.), vol. 1383 of Lecture Notes in Computer Science, pp. 302-305 (Apr. 1998) (Springer-Verlag 1998).
Millstein, “Toward More Informative ESC/Java Warning Messages,” at http://gatekeeper.research.compaq.com/pub/DEC/SRC/technical-notes/SRC-1999-003-html/millstein.html (1999) (last accessed Nov. 21, 2001).
Savage et al., “Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs,”ACM Transactions on Computer Systems, vol. 15, No. 4, pp. 391-411 (Nov. 1997).

Affiliated with

Also associated with

Rating

Method and apparatus for automatically inferring annotations does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for automatically inferring annotations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for automatically inferring annotations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3646378