@misc{ghalayini-2024-the,
  author = {Jad Elkhaleq Ghalayini and Krishnaswami, Neelakantan R.},
  title = {The Denotational Semantics of SSA},
  year = {2024},
  month = {11},
  eprint = {2411.09347},
  archiveprefix = {arXiv}
}