TY  - RPRT
TI  - Semantically Reflected Programs
AU  - Eduard Kamburjan
AU  - Vidar Norstein Klungre
AU  - Yuanwei Qu
AU  - Rudolf Schlatte
AU  - Egor V. Kostylev
AU  - Martin Giese
AU  - Einar Broch Johnsen
PY  - 2026
DO  - 10.4230/tgdk.4.1.3
UR  - https://arxiv.org/abs/2509.03318
ID  - 2509.03318
ER  -