Microsoft，タイプセーフなオペレーティングシステム Verve を発表
Microsoft Research は Singularity プロジェクトから派生したオペレーティングシステムである Verve のリリースを発表した。TAL (Typed Assembly Language，型付きアセンブリ言語) と Hoare 論理の採用を前提とすることで，最高レベルのセキュリティと安全性を実現する。
InfoQ
InfoQ
トピック・タグ別の表示
Singularityに関するすべてのコンテンツ
Singularityに関するNews
Singularity：Microsoftのオープンソースオペレーティングシステム
Singularity Research Development Kitがリリースされた。ソースコードおよびブート可能なCDとして利用可能である。
MicrosoftリサーチがSingularity RDKをリリース
3月4日に、Singularity Research Development Kit(RDK)が、CodePlexのオープンソースプロジェクトとしてリリースされた。RDKはGalen Hunt、Jim Larus等による、MicrosoftリサーチのSingularityプロジェクトを基にしている。プロジェクトのWebサイトによると、Singularity自体は主に「システム、言語、およびツールの領域における革新を通じて信頼できるシステムを構築する」ものだと言う。