@article{ART001033218},
author={김지민 and Weon Hee Yoo and 김기태 and 김제민},
title={Static Type Inference Based on Static Single Assignment for Bytecode},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2006},
volume={11},
number={4},
pages={87-96}
TY - JOUR
AU - 김지민
AU - Weon Hee Yoo
AU - 김기태
AU - 김제민
TI - Static Type Inference Based on Static Single Assignment for Bytecode
JO - Journal of The Korea Society of Computer and Information
PY - 2006
VL - 11
IS - 4
PB - The Korean Society Of Computer And Information
SP - 87
EP - 96
SN - 1598-849X
AB - Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations, bytecode must be translated to a Static Single Assignment Form(SSA Form). But when bytecode is translated a SSA Form it has lost type informations of some variables. For resolving these problemㄴ in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator, dominance frontier, -Function, renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First, we construct call graph and derivation graph of classes. And the we collect informationㄴ associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations, we assign type to each node.
KW - 정적타입추론(Static Type Inference);정적단일배정문(Static Single Assignment);CFG(Control Flow Graph);바이트코드(Bytecode)
DO -
UR -
ER -
김지민, Weon Hee Yoo, 김기태 and 김제민. (2006). Static Type Inference Based on Static Single Assignment for Bytecode. Journal of The Korea Society of Computer and Information, 11(4), 87-96.
김지민, Weon Hee Yoo, 김기태 and 김제민. 2006, "Static Type Inference Based on Static Single Assignment for Bytecode", Journal of The Korea Society of Computer and Information, vol.11, no.4 pp.87-96.
김지민, Weon Hee Yoo, 김기태, 김제민 "Static Type Inference Based on Static Single Assignment for Bytecode" Journal of The Korea Society of Computer and Information 11.4 pp.87-96 (2006) : 87.
김지민, Weon Hee Yoo, 김기태, 김제민. Static Type Inference Based on Static Single Assignment for Bytecode. 2006; 11(4), 87-96.
김지민, Weon Hee Yoo, 김기태 and 김제민. "Static Type Inference Based on Static Single Assignment for Bytecode" Journal of The Korea Society of Computer and Information 11, no.4 (2006) : 87-96.
김지민; Weon Hee Yoo; 김기태; 김제민. Static Type Inference Based on Static Single Assignment for Bytecode. Journal of The Korea Society of Computer and Information, 11(4), 87-96.
김지민; Weon Hee Yoo; 김기태; 김제민. Static Type Inference Based on Static Single Assignment for Bytecode. Journal of The Korea Society of Computer and Information. 2006; 11(4) 87-96.
김지민, Weon Hee Yoo, 김기태, 김제민. Static Type Inference Based on Static Single Assignment for Bytecode. 2006; 11(4), 87-96.
김지민, Weon Hee Yoo, 김기태 and 김제민. "Static Type Inference Based on Static Single Assignment for Bytecode" Journal of The Korea Society of Computer and Information 11, no.4 (2006) : 87-96.