@misc{indiciaeee161ab0eaed,
  title = {Toward Semantic Foundations for Program Editors},
  author = {Cyrus Omar and Ian Voysey and Michael Hilton and Joshua Sunshine and Claire Le Goues and Jonathan Aldrich and Matthew A. Hammer},
  year = {2017},
  url = {https://arxiv.org/abs/1703.08694},
  note = {Source identifier: 1703.08694}
}