Vault

Vault is a prototype programming language created at Microsoft Research. It's a safe version of the C programming language, with features to record and enforce usage rules associated with interfaces. The rules control the order in which the interface's functions may be called and its data accessed.

Download details

File Name vaultsetup.exe
Version 0.2
Date Published 9 May 2002
Download Size 2.85 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.

Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds