2026-08-20T05:25:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23349 2025-06-25T13:23:37Z ddc:004 open_access

Declarative Dynamic Object Reclassification (Artifact) Sieve, Riccardo Kamburjan, Eduard Damiani, Ferruccio Johnsen, Einar Broch Dynamic Object Reclassification Dynamic Software Updates Featherweight Java Knowledge Bases Semantic Reflection Type Soundness This artifact contains the GreenhouseDT API, a backend API for the GreenhouseDT system, which implements the declarative dynamic object reclassification in the SMOL language, as specified and described in the paper "Declarative Dynamic Object Reclassification". It also contains a Python to reproduce the results of the paper. This artifact description describes how the artifact is structured, as well as how to build and run it. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Riccardo Sieve and Eduard Kamburjan and Ferruccio Damiani and Einar Broch Johnsen 2025 Is Part Of DARTS, Volume 11, Issue 2, Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.11.2.6 urn:nbn:de:0030-drops-233496 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.6 eng https://creativecommons.org/licenses/by/4.0/legalcode