Structural Encoding of Static Single Assignment Form


Static Single Assignment (SSA) form is often used as an intermediate representation during code optimization in Java Virtual Machines. Recently, SSA has successfully been used for bytecode verification. However, constructing SSA at the code consumer is costly. SSAbased mobile code transport formats have been shown to eliminate this cost by shifting SSA… (More)
DOI: 10.1016/j.entcs.2005.02.045


3 Figures and Tables