ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 01:40 - 02:00 at SPLASH-I - S-4 Chair(s): Atsushi Igarashi, Elisa Gonzalez Boix
Sun 15 Nov 2020 13:40 - 14:00 at SPLASH-I - S-4 Chair(s): Karim Ali, Eli Tilevich

We provide a construction that, given a big-step semantics describing finite computations and their observations, extends it to include infinite computations as well. The basic idea is that the finite behavior uniquely determines the infinite behavior once observations and their composition operators are fixed. Technically, the construction relies on the framework of inference systems with corules. The effectiveness and scope of the approach are illustrated by several examples. The correctness is formally justified by proving that, starting from a big-step semantics equivalent to a reference small-step semantics, this equivalence is preserved by the construction.

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: S-4Research Papers at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Eli TilevichVirginia Tech
13:00 - 13:20
Talk
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
13:20 - 13:40
Talk
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
13:40 - 14:00
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
14:00 - 14:20
Talk
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: S-4Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
01:00 - 01:20
Talk
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
01:20 - 01:40
Talk
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
01:40 - 02:00
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
02:00 - 02:20
Talk
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached