SafeTSA
SafeTSA (Safe Typed Single Assignment) is a static single assignment form (SSA) intermediate representation capable of representing all of the type safety of the Java programming language and the standard Java Virtual Machine (JVM) byte-code. As of 2005, many optimizing compilers (including just-in-time compilers used by JVMs) use SSA representations internally.