Patent · US Expired

Safe computer code formats and methods for generating safe computer code

US7117488B1 · kind B1 · utility

28Cited by

16References

9Claims

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	Oct 31, 2001
Grant date	Oct 3, 2006
Priority date	—
Expiry date	Jun 18, 2023

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.