Constructing Structured SSA from FJ

Kenny Zhuo Ming Lu, Daniel Yu Hian Low. Constructing Structured SSA from FJ. In Aaron Tomb, editor, Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023. pages 58-64, ACM, 2023. [doi]

@inproceedings{LuL23-12,
  title = {Constructing Structured SSA from FJ},
  author = {Kenny Zhuo Ming Lu and Daniel Yu Hian Low},
  year = {2023},
  doi = {10.1145/3605156.3606457},
  url = {https://doi.org/10.1145/3605156.3606457},
  researchr = {https://researchr.org/publication/LuL23-12},
  cites = {0},
  citedby = {0},
  pages = {58-64},
  booktitle = {Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
  editor = {Aaron Tomb},
  publisher = {ACM},
}