Patents by Inventor Jeff Littfin

Jeff Littfin has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Specifying an invariant property (range of addresses) in the annotation in source code of the computer program
    Patent number: 7013460
    Abstract: Method and apparatus for verifying at runtime an invariant property of a data structure. In various example embodiments, code that verifies whether a runtime value of the data structure is consistent with the invariant property is automatically generated in response to an annotation of the data structure in the source code. In executing the program, the runtime value of the data structure is compared to the invariant property in the automatically generated code. If the runtime property is inconsistent with the invariant property, the program branches to exception handler code.
    Type: Grant
    Filed: May 15, 2001
    Date of Patent: March 14, 2006
    Assignee: Hewlett-Packard Development Company, L.P.
    Inventors: Carol L. Thompson, Jeff Littfin
  • Method and apparatus for verifying invariant properties of data structures at run-time
    Publication number: 20040015897
    Abstract: Method and apparatus for verifying at runtime an invariant property of a data structure. In various example embodiments, code that verifies whether a runtime value of the data structure is consistent with the invariant property is automatically generated in response to an annotation of the data structure in the source code. In executing the program, the runtime value of the data structure is compared to the invariant property in the automatically generated code. If the runtime property is inconsistent with the invariant property, the program branches to exception handler code.
    Type: Application
    Filed: May 15, 2001
    Publication date: January 22, 2004
    Inventors: Carlos L. Thompson, Jeff Littfin