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

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

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