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.
Article published on March 12, 2009
|If you like this article, please share it:|