Constructing Structured SSA from FJ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kenny Zhuo Ming Lu' in GoogleThis author has not been identified. Look up 'Daniel Yu Hian Low' in Google

runs on WebDSL