ECOOP 2020
Dates and location to be announced

0 results

People (1 results)
Viktor Kunčak

Viktor Kunčak

… …

Events (20 results)

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Artifacts People: Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner

… async/await APIs, all underpinned by a simple Core Event Semantics that is sufficiently expressive to describe the event models underlying all these APIs. Our … official test-suites, passing all the applicable tests. Using the Core Events …

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Research Papers People: Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner

… async/await APIs, all underpinned by a simple Core Event Semantics that is sufficiently expressive to describe the event models underlying all these APIs. Our … official test-suites, passing all the applicable tests. Using the Core Events …

Multiparty Session Programming with Global Protocol Combinators

Artifacts People: Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

… . Local behaviours for all processes in a protocol are inferred at once from … of ocaml-mpst, with all the examples and benchmarks discussed in the paper …

Owicki-Gries Reasoning for C11 RAR

Artifacts People: Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim

… the formalisation and proof of all case studies presented in the paper. All

Attending Information (1 results)

Conduct

… an environment that enables all to participate without fear of harassment. ECOOP …, no matter their background or beliefs. All communication should be appropriate …

Tracks (11 results)

SySEPL 2020

… submissions, and a panel discussion, where all participants are invited to share … include references. All paper and notes submissions will be reviewed by 3 program … the workshop. We will encourage all participants to submit at least a 2-pages note …

Success of Object-Oriented Programming

… The war is over, it’s objects all the way down.

“WELCOME TO ECOOP'97 ... anniversary of ECOOP. We cordially invite all researchers,
practitioners, educators ... and artificial intelligence make us
all obsolete?  SOOP'20 brings together a set ...

JSTools 2020

… , such as debuggers and smart IDEs.

All these projects need to overcome similar …. All these projects need to overcome similar challenges:

  • What constitutes … and complex ways.

  • Almost all JavaScript programs rely on extensive native …

General (12 results)

COP Homepage

… COP-20 Welcome to the website of the COP-20 conference. We are working hard to fill the website with all related information. Please check back soon! be9f34ac-bdac-4fbc-9971-0e1356df9054 …

ICOOOLPS 2020 Homepage

… ICOOOLPS 2020 Welcome to the website of the ICOOOLPS 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 80c06954-7faa-40db-94ed-b72a9019050b …

IWACO 2020 Homepage

… IWACO 2020 Welcome to the website of the IWACO 2020 conference. We are working hard to fill the website with all related information. Please check back soon! e9a9d893-d54c-4542-9b9d-55804148591a …