Mon 22 Mar 2021 13:00 - 13:30 at Virtual Space B - Session 1 Chair(s): Andrea Stocco

Interactive user experiences on the web are becoming the norm. Client-side programs are becoming more complicated and have to deal with event handling, reading HTML document state and updating the interface. In this paper we propose a declarative language that supports these three facets of client-side browser development declaratively and provides a programming model where complex interfaces can be written using simple programming techniques such as records, functions and recursion.

Mon 22 Mar

Displayed time zone: Belfast change

13:00 - 14:30
Session 1ProWeb21 at Virtual Space B
Chair(s): Andrea Stocco Università della Svizzera italiana (USI)
13:00
30m
Talk
Rec.HTML: Typed Declarative HTMLProWeb21
ProWeb21
Bob Reynders Chonnam National University, Kwanghoon Choi Chonnam National University
Pre-print
13:30
30m
Talk
Tamper-proof security mechanism against liar objects in JavaScript applicationsProWeb20
ProWeb21
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Pre-print
14:00
30m
Talk
Wassail: a WebAssembly Static Analysis LibraryProWeb21
ProWeb21
Quentin Stiévenart Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Pre-print