A formal account of SSA in Java-like languages.

Davide Ancona Andrea Corradi A formal account of SSA in Java-like languages. 2 2016 FTfJP@ECOOP http://dl.acm.org/citation.cfm?id=2955813 conf/ecoop/2016ftfjp db/conf/ecoop/ftfjp2016.html#AnconaC16