Map
Index
Random
Help
th

Quote: Vault defines type guards for specifying resource management protocols; e.g., operations performed in a valid order, operations required before access, operations that will be performed; enforced at compile time

topics > all references > references c-d > QuoteRef: deliR6_2001 , p. 59



Topic:
flavor analysis and typestates for supplementary type checking
Topic:
preventing accidental errors

Quotation Skeleton

The Vault programming language provides a new feature … can specify that operations must be performed in … that an operation must be in a thread's … short, we move the description of resource management … at compile time. … The Vault type checker tracks an abstraction of … a given program point, the value's type guard … we say that a type describes which operations …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: a type specifies the valid operations while a type guard specifies when an operation is valid

Related Topics up

Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: preventing accidental errors (36 items)

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