Rob Deline and Manuel Fahndrich. The Vault project. Presented at the Carnegie Mellon University principles of programming languages seminar. See http://research.microsoft.com/vault/ for more information., November 2000. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Regions and Linear Types - Walker, Watkins (15 citations) (Correct)
....here as they count the number of pointers that cross region boundaries rather than the number of pointers to the region data structure itself. Deallocation is allowed when there are no more pointers to values in a particular region and safety is checked mainly at run time. Deline and F ahndrich [9] are developing a new type safe variant of C called Vault. They use a combination of the capabilities and alias types mentioned above to control access to all sorts of program resources including memory regions. They have also developed e ective local type inference techniques that minimize ....
Rob Deline and Manuel Fahndrich. The Vault project. Presented at the Carnegie Mellon University principles of programming languages seminar. See http://research.microsoft.com/vault/ for more information., November 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC