| 
|
QuoteRef: deliR6_2001
topics >
all references >
ThesaHelp:
references c-d
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
preventing accidental errors
Topic:
security by capabilities
Reference
DeLine, R., Fahndrich, M., "Enforcing high-level protocols in low-level software", Programming Language Design and Implementation (PLDI 2001), Snowbird, Utah, June 2001, pp. 59-69. Google
59 ;;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
59+;;Quote: a type specifies the valid operations while a type guard specifies when an operation is valid
60 ;;Quote: a type guard consists of a key and optional local state; the key must be in the global held-key state when accessing the variable
63 ;;Quote: Vault's type system is based on Capability Calculus and alias types
ThesaHelp: references c-d (337 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: preventing accidental errors (36 items)
Topic: security by capabilities (65 items)