<p>Described herein are one or more implementations of an operating system that provides for statically verifiable inter-process communication between isolated processes (230, 240, and 250). Also, described herein are one or more implementations of programming tools that facilitate the development of statically verifiable isolated processes having inter-process communication.</p>
申请公布号
WO2007050363(A1)
申请公布日期
2007.05.03
申请号
WO2006US40527
申请日期
2006.10.16
申请人
MICROSOFT CORPORATION
发明人
HUNT, GALEN C.;LARUS, JAMES R.;ABADI, MARTIN;AIKEN, MARK;BARHAM, PAUL;FAHNDRICH, MANUEL A.;HAWBLITZEL, CHRIS;HODSON, ORION;LEVI, STEVEN;MURPHY, NICK;STEENSGAARD, BJARNE;TARDITI, DAVID;WOBBER, TED;ZILL, BRIAN