发明申请
US20070006191A1 Safe computer code formats and methods for generating safe computer code
有权
用于生成安全计算机代码的安全计算机代码格式和方法
- 专利标题： Safe computer code formats and methods for generating safe computer code
- 专利标题（中）： 用于生成安全计算机代码的安全计算机代码格式和方法
-
申请号： US11504934申请日： 2006-08-15
-
公开(公告)号： US20070006191A1公开(公告)日： 2007-01-04
- 发明人: Michael Franz , Wolfram Amme , Jeffrey Von Ronne
- 申请人： Michael Franz , Wolfram Amme , Jeffrey Von Ronne
- 专利权人： The Regents of the University of California
- 当前专利权人： The Regents of the University of California
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
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.
公开/授权文献
信息查询
