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 JunDisplayed 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:1521m 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:3621m 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:5721m Talk | Spegion: Implicit and Non-Lexical Regions with Sized Allocations Technical Papers | ||
| 17:1821m Talk | Type-safe and portable support for packed data Technical Papers | ||


