@@ -8,8 +8,7 @@ the [34th European Conference on Object-Oriented Programming, ECOOP 2020](https:
The paper by Gabriela, Jose, Petar and Philippa is entitled [A Trusted Infrastructure
for Symbolic Analysis of Event-Driven Web Applications](https://2020.ecoop.org/track/ecoop-2020-papers#event-overview).
It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications.
The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events,
It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications. The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events,
JavaScript Promises, and the JavaScript async/await APIs, all underpinned by a simple
Core Event Semantics that is sufficiently expressive to describe the event models
underlying all these APIs. The implementations follow the API respective standards
