Sun 20 Oct 2024 16:30 - 17:00 at Pasadena - OOP

Method local inner classes are intended to be accessible only within the scope of that method. While generics allow to express generic algorithms and precise types for collections, they also introduce new kinds of type safety issues that were not present in earlier versions of Java. In this paper we discuss one of such issues, this issue is caused by the interaction between generics, method local inner classes and the Java’s class-based access control. Java’s access control is class-based rather than instance-based. Visibility of members is determined by their location within the code. In this paper we show that if an instance of a method local inner class flows back inside of a version of the originating method instantiated with different generic type parameters, something interesting happens.

Slides (UNSOUND2024.pdf)438KiB

Sun 20 Oct

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 17:30
16:00
30m
Talk
From FP to OOP and Back, ConsistentlyOnline
UNSOUND
David Binder University of Tübingen
File Attached
16:30
30m
Talk
Java Method-Local Inner Classes are Unsound
UNSOUND
Marco Servetto VUW, Nick Webster Victoria University of Wellington , Colin Gordon Drexel University
File Attached
17:00
30m
Talk
The Inexact Superclass ProblemOnline
UNSOUND
Bruno C. d. S. Oliveira University of Hong Kong