Mar 12

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 Vault

Article published on March 12, 2009




One Response to “Microsoft Vault: Safe Version of C Programming Language”

  1. Microsoft Vault: Safe Version of C Programming Language Says:

    […] Go here to see the original: Microsoft Vault: Safe Version of C Programming Language […]

Leave a Reply