着目
n
性質:
Java
の制御構造は、それぞれ、ドミネータツ
リー上でひとつの
サブツリー
をなす
Java
はブロックが完全な入れ子になる言語
n
ドミネータツリーを辿り、制御構造を復元
n
制御構造ごとの復元が可能なので、
効率的