| 
|
Quote: Vault as a safe C with execution-ordering constraints; object in one of several states; annotate functions for their effect on object state
Topic:
debugging by usage rules
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
aliasing
Quotation Skeleton
The Vault language [ref] is a safe version … its type checker ensures that client code using … [p. 99] An object can be in one of … changes as the result of a call. Vault … Vault separately checks each program function. The function's … [If] we have two tracked objects at a … [must be] distinct as well. This non-aliasing property … lets the checker track object states without making … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: Vault identifies non-aliasing objects for type state analysis
Topic: debugging by usage rules (41 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: aliasing (28 items)