@misc{indiciae96fa3d9016c3,
  title = {Retargeting an Abstract Interpreter for a New Language by Partial Evaluation},
  author = {Jay Lee},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04316},
  note = {Source identifier: 2507.04316}
}