@misc{indiciae702c1003150e,
  title = {Deriving Abstract Interpreters from Skeletal Semantics},
  author = {Thomas Jensen and Vincent Rébiscoul and Alan Schmitt},
  year = {2023},
  doi = {10.4204/eptcs.387.8},
  url = {https://arxiv.org/abs/2309.07298},
  note = {Source identifier: 2309.07298}
}