@inproceedings{https://doi.org/10.4230/lipics.snapl.2017.11,
  doi = {10.4230/LIPICS.SNAPL.2017.11},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.11},
  author = {Omar, Cyrus and Voysey, Ian and Hilton, Michael and Sunshine, Joshua and Le Goues, Claire and Aldrich, Jonathan and Hammer, Matthew A.},
  keywords = {program editors, type systems, live programming, program prediction},
  language = {en},
  title = {Toward Semantic Foundations for Program Editors},
  journal = {LIPIcs, Volume 71, SNAPL 2017},
  volume = {71},
  pages = {11:1-11:12},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2017},
  copyright = {Creative Commons Attribution 3.0 Unported license}
}