Patents by Inventor Wolfram Amme

Wolfram Amme 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).

  • Safe computer code formats and methods for generating safe computer code
    Patent number: 8392897
    Abstract: An inherently safe code format for representing computer programs is disclosed. The format provides incorruptible referential integrity and uses type separation to achieve intrinsic type safety. The format preserves a safety guarantee found in a source code language representation of the computer program while the computer program proceeds through various stages of the code compilation process.
    Type: Grant
    Filed: August 15, 2006
    Date of Patent: March 5, 2013
    Assignee: The Regents of the University of California
    Inventors: Michael Franz, Wolfram Amme, Jeffrey Von Ronne
  • Safe computer code formats and methods for generating safe computer code
    Publication number: 20070006191
    Abstract: An inherently safe code format for representing computer programs is disclosed. The format provides incorruptible referential integrity and uses type separation to achieve intrinsic type safety. The format preserves a safety guarantee found in a source code language representation of the computer program while the computer program proceeds through various stages of the code compilation process.
    Type: Application
    Filed: August 15, 2006
    Publication date: January 4, 2007
    Inventors: Michael Franz, Wolfram Amme, Jeffrey Von Ronne
  • Safe computer code formats and methods for generating safe computer code
    Patent number: 7117488
    Abstract: An inherently safe code format for representing computer programs is disclosed. The format provides incorruptible referential integrity and uses type separation to achieve intrinsic type safety. The format preserves a safety guarantee found in a source code language representation of the computer program while the computer program proceeds through various stages of the code compilation process.
    Type: Grant
    Filed: October 31, 2001
    Date of Patent: October 3, 2006
    Assignee: The Regents of the University of California
    Inventors: Michael Franz, Wolfram Amme, Jeffrey Von Ronne