发明申请
US20070094495A1 Statically Verifiable Inter-Process-Communicative Isolated Processes
审中-公开
可静态验证的进程间通信隔离进程
- 专利标题： Statically Verifiable Inter-Process-Communicative Isolated Processes
- 专利标题（中）： 可静态验证的进程间通信隔离进程
-
申请号： US11428162申请日： 2006-06-30
-
公开(公告)号： US20070094495A1公开(公告)日： 2007-04-26
- 发明人: Galen Hunt , James Larus , Martin Abadi , Mark Aiken , Paul Barham , Manuel Fahndrich , Chris Hawblitzel , Orion Hodson , Steven Levi , Nicholas Murphy , Bjarne Steensgaard , David Tarditi , Edward Wobber , Brian Zill
- 申请人： Galen Hunt , James Larus , Martin Abadi , Mark Aiken , Paul Barham , Manuel Fahndrich , Chris Hawblitzel , Orion Hodson , Steven Levi , Nicholas Murphy , Bjarne Steensgaard , David Tarditi , Edward Wobber , Brian Zill
- 申请人地址： US WA Redmond
- 专利权人： Microsoft Corporation
- 当前专利权人： Microsoft Corporation
- 当前专利权人地址： US WA Redmond
- 主分类号： H04L9/00
- IPC分类号： H04L9/00
摘要：
Described herein are one or more implementations of an operating system that provides for statically verifiable inter-process communication between isolated processes. Also, described herein are one or more implementations of programming tools that facilitate the development of statically verifiable isolated processes having inter-process communication.
信息查询
