Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Tue 22 Oct 2019 14:00 - 15:00 at Abbey - Keynote & Session #3

Every programmer is familiar with BNF as a concise and precise formal notation for defining programming language syntax — nobody would consider describing a grammar in prose. Yet, almost 60 years since the invention of syntax formalisms, we still accept it as a given (in the “real world”) that programming language semantics, which is the far more delicate part of a language definition, is routinely described by a combination of clumsy sentences, hidden assumptions, and wishful thinking.

In this talk I will show how we successfully applied standard formal methods to WebAssembly, hopefully demonstrating that there is little reason to be afraid of it. It’s merely more syntax! The techniques that the academic PL community has developed over the past 4 decades work well, and under suitable conditions they scale to a full-blown industrial language. The primary prerequisite is that the language designers embrace them from the beginning. Then the feedback loop between design and formalisation leads to cleaner and simpler semantics. This works especially well for languages such as ILs and VMs, which are not distracted by superficial user ergonomics.

Tue 22 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

14:00 - 15:30: VMIL 2019 - Keynote & Session #3 at Abbey
vmil-2019-papers14:00 - 15:00
Andreas RossbergDfinity Stiftung
vmil-2019-papers15:00 - 15:30
Javad Ebrahimian AmiriAustralian National University / Data61, Steve BlackburnAustralian National University , Tony HoskingAustralian National University / Data61, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
DOI Pre-print