Concurrent Clean : CleanJ : 方針

CleanJ v2の課題は、Javaのネイティブスタックを使うコードに変更するというところ。関数呼び出しも、普通のJavaのメソッドと同じ形で呼び出す。
そのためには、ABCコードをラベル毎に分解して、各ラベルをグラフのノードに見立ててconnectivityを計算して、ループにできるところはループに変換して、適切なサイズのメソッドに切り出す。その上で、スタック上の値をローカル変数に割り当てる。