Verve已经发布——一种类型安全的操作系统
微软研究院最近发布了Verve，它是来自于Singularity项目的一种操作系统，它的基本前提是要使用类型化汇编语言（TAL）以及Hoare逻辑来实现高级的保密性和安全性。
InfoQ
InfoQ
促进软件开发领域知识与创新的传播
主题/标签专用视图
Singularity相关的内容
“Singularity”相关新闻
Singularity：微软的开源操作系统
Sigularity研究开发包的2.0发布版现在已经可以通过源代码或者可启动CD的方式获得了。Sigularity操作系统整个依赖于进程之间高度隔离的代码管理方式。一反微软常规的做法，Singularity热情招徕补丁，并在CodePlex向开发者提供了完整的权限。
微软研究院发布Singularity RDK
3月4日，Singularity研发工具包（RDK）在CodePlex网站上发布为开源项目。该RDK基于微软研究院的Singularity项目，Singularity项目由Galen Hunt、Jim Larus及其他人员研发。项目网站表示，Singularity主要“通过系统、语言、工具领域的创新来构建可靠的系统。”