Invention Grant
US08392897B2 Safe computer code formats and methods for generating safe computer code
有权
用于生成安全计算机代码的安全计算机代码格式和方法
- Patent Title: Safe computer code formats and methods for generating safe computer code
- Patent Title (中): 用于生成安全计算机代码的安全计算机代码格式和方法
-
Application No.: US11504934Application Date: 2006-08-15
-
Publication No.: US08392897B2Publication Date: 2013-03-05
- Inventor: Michael Franz , Wolfram Amme , Jeffrey Von Ronne
- Applicant: Michael Franz , Wolfram Amme , Jeffrey Von Ronne
- Applicant Address: US CA Oakland
- Assignee: The Regents of the University of California
- Current Assignee: The Regents of the University of California
- Current Assignee Address: US CA Oakland
- Agency: Dickstein Shapiro LLP
- Agent Kenneth S. Roberts
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/45
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.
Public/Granted literature
- US20070006191A1 Safe computer code formats and methods for generating safe computer code Public/Granted day:2007-01-04
Information query
