最新技術を追い求めるデベロッパのための情報コミュニティ
寄稿Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.
Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.
Explore insights, real-world best practices and solutions in software development & leadership. Register now.
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.
InfoQ ホームページ Verve に関するすべてのコンテンツ
Microsoft Research は Singularity プロジェクトから派生したオペレーティングシステムである Verve のリリースを発表した。TAL (Typed Assembly Language，型付きアセンブリ言語) と Hoare 論理の採用を前提とすることで，最高レベルのセキュリティと安全性を実現する。