LabelExpr
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
A coercion calculus of gradual security labels. Coercions on labels are represented as coercion expressions.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
A coercion calculus of gradual security labels. Coercions on labels are represented as coercion expressions.