diff --git a/_posts/2020-04-27-ecoop20.md b/_posts/2020-04-27-ecoop20.md index 66fefee564a92bf0abb20baaa90caebaef5efdbf..2b8056a17a9093d4e8c9e66f0af21fa8d31ea677 100644 --- a/_posts/2020-04-27-ecoop20.md +++ b/_posts/2020-04-27-ecoop20.md @@ -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