DLS 2016
Tue 1 Nov 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 11:45 - 12:10 at Matterhorn 1 - Session 2 Chair(s): Gilad Bracha

Multiple inheritance is often criticised for the ambiguity that arises when multiple parents want to pass on a feature with the same name to their offspring.
A survey of programming languages reveals that no programming language has an inherently implicit and dynamic approach to resolve this ambiguity.
This paper identifies just-in-time inheritance as the first implicit and dynamic inheritance mechanism. The key idea of just-in-time inheritance is that one of the parents is favoured over the others, which resolves the ambiguity, and that the favoured parent can change at runtime.
However, just-in-time inheritance is not the silver bullet to solve all ambiguity problems heir to multiple inheritance, because it is not applicable in all scenarios.
We conclude that the applicability of just-in-time inheritance is to be found in systems where multiple inheritance is used to model an “is-a OR is-a”-relation, rather than the more traditional “is-a AND is-a”-relation.

Presentation slides (DLS16-final.pdf)1.20MiB

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 2DLS at Matterhorn 1
Chair(s): Gilad BrachaGoogle
10:30
25m
Talk
Type Unsoundness in Practice: An Empirical Study of Dart
DLS
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
10:55
25m
Talk
Type Safety Analysis for Dart
DLS
Thomas S. HeinzeAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
11:20
25m
Talk
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
DLS
Changhee ParkKAIST, South Korea, Hyeonseung ImKangwon National University, South Korea, Sukyoung RyuKAIST, South Korea
DOI
11:45
25m
Talk
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
DLS
Mattias De WaelVrije Universiteit Brussel, Belgium, Janwillem SwalensVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
DOI Pre-print File Attached