Map
Index
Random
Help
th

Quote: Vault as a safe C with execution-ordering constraints; object in one of several states; annotate functions for their effect on object state

QuoteRef: laruJR5_2004 , p. 98



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

Related Topics up

Topic: debugging by usage rules (41 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: aliasing (28 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.