The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
May. 16, 2006

Filed:

Apr. 30, 2001
Applicants:

Walter Dixon, Iii, Delanson, NY (US);

Brian Murren, Clifton Park, NY (US);

Inventors:

Walter Dixon, III, Delanson, NY (US);

Brian Murren, Clifton Park, NY (US);

Assignee:
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01);
U.S. Cl.
CPC ...
Abstract

A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program.


Find Patent Forward Citations

Loading…