@ARTICLE\{IMM2005-04150,
    author       = "A. Gal and C. W. Probst and M. Franz",
    title        = "Structural Encoding of Static Single Assignment Form",
    year         = "2005",
    month        = "dec",
    keywords     = "mobile code, verification, optimization",
    pages        = "85-102",
    journal      = "Electronic Notes in Theoretical Computer Science",
    volume       = "141",
    editor       = "",
    number       = "2",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4150-full.html",
    abstract     = "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} creation to the code producer. These new formats, however, are not backward compatible with the established Java class-file format. We propose a novel approach to transport {SSA} information implicitly through structural code properties of standard Java bytecode. While the resulting bytecode sequence can still be directly executed by traditional Virtual Machines, our novel {VM} can infer {SSA} form and confirm its safety with virtually no overhead."
}