Static Type Assignment for SSA Form in CTOC

13 years 5 months ago
Static Type Assignment for SSA Form in CTOC
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadvantages, a bytecode analysis and optimization must be performed. The control flow of the bytecode should be analyzed; next, information is required regarding where the variables are defined and used to conduct a dataflow analysis and optimization. There may be cases where variables with an identical name contain different values at different locations during execution, according to the value assigned to a given variable in each location. Therefore, in order to statically determine the value and type, the variables must be separated according to allocation. In order to achieve this, variables can be expressed using a static single assignment form. After transformation into a static single assignment form, the type information of each node expressed by each variable and expression must be configured to perform ...
Ki-Tae Kim, Weon-Hee Yoo
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JIPS
Authors Ki-Tae Kim, Weon-Hee Yoo
Comments (0)