Write a Blog >>
SPLASH 2019
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

vmil-2019-papers
14:00 - 15:30: VMIL 2019 - Keynote & Session #3 at Abbey
vmil-2019-papers14:00 - 15:00
Talk
Andreas RossbergDfinity Stiftung
vmil-2019-papers15:00 - 15:30
Full-paper
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