Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Thu 15 Jul 2021 00:20 - 00:40 at ECOOP 1 - Language Design (time band 2) Chair(s): Jens Dietrich
Thu 15 Jul 2021 09:30 - 09:50 at ECOOP 1 - Potpourri (time band 3) Chair(s): Viktor Kunčak

We show that a minimal subset of Java 8 excluding classes supports a simple and natural programming style, which we call lambda-based object-oriented programming. That is, on one hand the programmer can use tuples in place of objects (class instances), and tuples can be desugared to lambdas following their classical encoding in the lambda-calculus. On the other hand, lambdas can be equipped with an additional behaviour, thanks to the fact that they may implement interfaces with default methods, hence inheritance and dynamic dispatch are still supported. We formally describe the encoding by a translation from an FJ variant including lambdas and interfaces with default methods, to a subset with no classes (hence no constructors and fields). We provide several examples illustrating this novel programming style.

Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:20 - 01:20
Language Design (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Jens Dietrich Victoria University of Wellington
00:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco Servetto Victoria University Wellington, New Zealand, Elena Zucca University of Genova
DOI Media Attached
00:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime Buyse Uber ATCP, Remi Delmas Uber ATCP, Youssef Hamadi Uber Elevate
DOI
01:00
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology
DOI
09:10 - 10:10
Potpourri (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Viktor Kunčak EPFL, Switzerland
09:10
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong
DOI Media Attached File Attached
09:30
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco Servetto Victoria University Wellington, New Zealand, Elena Zucca University of Genova
DOI Media Attached
09:50
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime Buyse Uber ATCP, Remi Delmas Uber ATCP, Youssef Hamadi Uber Elevate
DOI