Patents by Inventor Thomas Tromey

Thomas Tromey 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).

  • System and method for compiling program code ahead of time
    Publication number: 20070022411
    Abstract: A system is disclosed for compiling program code. The system provides a compiler that includes a static verifier and a runtime verifier. The static verifier performs static checks on the program code and produces object code corresponding to the program code. The runtime verifier receives the object code and performs dynamic checks on the object code in a platform dependent environment. The resulting object code can subsequently be executed.
    Type: Application
    Filed: July 22, 2005
    Publication date: January 25, 2007
    Inventor: Thomas Tromey