Patent №
US 7,117,488
Granted
2006-10-03
Filed 2001
Owner
THE REGENTS OF THE UNIVERSITY OF CALIFORNIA
AI components
1
hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
10112002
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.
AI classification
Ownership
THE REGENTS OF THE UNIVERSITY OF CALIFORNIA
assignment · 180810623
Assignors
FRANZ, MICHAEL, AMME, WOLFRAM, VON RONNE, JEFFREY
On an employer assignment, the assignors are typically the inventors.