Patent · US Active

Safe computer code formats and methods for generating safe computer code

US8392897B2 · kind B2 · utility

4Cited by

17References

17Claims

0Family size

Assignee

The Regents of the University of California · US

Inventors

Michael Franz · Irvine, US
Wolfram Amme · Jena, DE
Jeffrey Von Ronne · Irvine, US

Key dates

Filing date	Aug 15, 2006
Grant date	Mar 5, 2013
Priority date	—
Expiry date	Jul 12, 2030

Classification

Technology area (CPC G)Physics
CPC primaryG06F21/50
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.