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 22 MarDisplayed time zone: Belfast change
13:00 - 14:30
|Rec.HTML: Typed Declarative HTMLProWeb21|
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, BelgiumPre-print
|Wassail: a WebAssembly Static Analysis LibraryProWeb21|