Enforcing High Level Protocols in Low-Level Software
Enforcing High Level Protocols in Low-Level Software. Robert DeLine and Manuel Fahndrich. Vault. C like language, with references Adds “capabilities” to the language Capabilities are a static notion, so are only used at type-checking time, and carry no runtime overhead. Typing environment.
285 views • 20 slides