InfoQ ホームページ Singularity に関するすべてのコンテンツ
ニュース
RSSフィード-
Microsoft，タイプセーフなオペレーティングシステム Verve を発表
Microsoft Research は Singularity プロジェクトから派生したオペレーティングシステムである Verve のリリースを発表した。TAL (Typed Assembly Language，型付きアセンブリ言語) と Hoare 論理の採用を前提とすることで，最高レベルのセキュリティと安全性を実現する。
-
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自体は主に「システム、言語、およびツールの領域における革新を通じて信頼できるシステムを構築する」ものだと言う。