@misc{indiciaef572677da9c6, title = {Compilation Semantics for a Programming Language with Versions}, author = {Yudai Tanabe and Luthfan Anshar Lubis and Tomoyuki Aotani and Hidehiko Masuhara}, year = {2023}, doi = {10.1007/978-981-99-8311-7\_1}, url = {https://arxiv.org/abs/2310.00298}, note = {Source identifier: 2310.00298} }