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.

Details

TypeDownload
File Namevaultsetup.exe
Version0.2
Date Published9 May 2002
Download Size2.85 MB