We propose the extension of a policy declaration and enforcement mechanism by constructing a coercion model for all the language built-ins. Then, the model is used to safely coerce all the operands or arguments used by the built-ins operations during the policy enforcement and afterwards removing the need of inspection types.
Mon 23 MarDisplayed time zone: Belfast change
11:00 - 12:30
|Evolution of the WebDSL RuntimeFull paper|
|Broken LinksPresentation abstract|