VarSem: declarative expression and automated inference of variable usage semantics

Yin Liu, Eli Tilevich. VarSem: declarative expression and automated inference of variable usage semantics. In Martin Erwig, Jeff Gray, editors, GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020. pages 84-97, ACM, 2020. [doi]

@inproceedings{LiuT20-15,
  title = {VarSem: declarative expression and automated inference of variable usage semantics},
  author = {Yin Liu and Eli Tilevich},
  year = {2020},
  doi = {10.1145/3425898.3426962},
  url = {https://doi.org/10.1145/3425898.3426962},
  researchr = {https://researchr.org/publication/LiuT20-15},
  cites = {0},
  citedby = {0},
  pages = {84-97},
  booktitle = {GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020},
  editor = {Martin Erwig and Jeff Gray},
  publisher = {ACM},
  isbn = {978-1-4503-8174-1},
}