Map
Index
Random
Help
th

QuoteRef: deliR6_2001

topics > all references > ThesaHelp: references c-d



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

Quotations
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


Related Topics up

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)

Collected barberCB 10/01
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.