ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Mon 30 Jun 2025 16:15 - 16:36 at Auditorium M003 - Object-Oriented and Dynamic Systems Chair(s): Sebastian Erdweg

In object-oriented languages, dynamic object reclassification is a technique to change the class binding of an object at runtime. Current approaches express when and how to reclassify inside the programs, and focus on internal consistency (e.g., dynamic object reclassification must be type safe). These approaches are less suited for programs that need to be consistent with an external context, such as autonomous systems interacting with a knowledge base. This paper proposes declarative dynamic object reclassification, a novel technique that provides a separation of concerns between a program’s business code and its adaptation logic for reclassification, expressed via a knowledge base. We present Featherweight Semantically Reflected Java, a minimal calculus for declarative dynamic object reclassification that enables the programmer to define consistency both internally (using a type system) and externally (using declarative classification queries). We further implement the technique by extending SMOL, a language for reflective programming via external knowledge bases.

Mon 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:15 - 17:39
Object-Oriented and Dynamic SystemsTechnical Papers at Auditorium M003
Chair(s): Sebastian Erdweg JGU Mainz
16:15
21m
Talk
Declarative Dynamic Object Reclassification
Technical Papers
Riccardo Sieve University of Oslo, Eduard Kamburjan IT University of Copenhagen, Ferruccio Damiani University of Turin, Einar Broch Johnsen University of Oslo
16:36
21m
Talk
In-memory Object Graph StoresRemote
Technical Papers
Aditya Thimmaiah The University of Texas at Austin, Zijian Yi The University of Texas at Austin, Joseph Kenis The University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
16:57
21m
Talk
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Technical Papers
Jack Oliver Hughes , Michael Vollmer University of Kent, Mark Batty University of Kent
17:18
21m
Talk
Type-safe and portable support for packed data
Technical Papers
Arthur Jamet University of Kent, Michael Vollmer University of Kent
:
:
:
: