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 Mar Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change
|11:00 - 11:30|
|11:30 - 12:00|
|12:00 - 12:30|