@article{10.1145/3571258,
  author = {Lemerre, Matthieu},
  title = {SSA Translation Is an Abstract Interpretation},
  year = {2023},
  issue_date = {January 2023},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {7},
  number = {POPL},
  doi = {10.1145/3571258},
  journal = {Proc. ACM Program. Lang.},
  month = {1},
  articleno = {65},
  numpages = {30},
  keywords = {Abstract interpretation, Cyclic term graph, Static Single
              Assignment (SSA)},
}