@misc{indiciae9be0f3fa779d,
  title = {Semantically Reflected Programs},
  author = {Eduard Kamburjan and Vidar Norstein Klungre and Yuanwei Qu and Rudolf Schlatte and Egor V. Kostylev and Martin Giese and Einar Broch Johnsen},
  year = {2026},
  doi = {10.4230/tgdk.4.1.3},
  url = {https://arxiv.org/abs/2509.03318},
  note = {Source identifier: 2509.03318}
}