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