Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQDiscover 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 Homepage Verve Content on InfoQ
Microsoft Research releases Verve, an operating system which grew out of the Singularity project, upon whose base premise is to use Typed Assembly Language, TAL, and Hoare logic to achieve the highest levels of security and safety.