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

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