ghalayini-2024-the:
  type: misc
  title: The Denotational Semantics of SSA
  author:
  - Ghalayini, Jad Elkhaleq
  - Krishnaswami, Neelakantan R.
  date: 2024-11
  serial-number:
    arxiv: '2411.09347'