リモート参照が可能な循環属性文法による怠けたコード移動の実現
詳細
goto 文のような，非構造的ジャンプを持つ言語に対する最適化を属性文法で定式化することは，従来困難であった．それは，既存の属性文法では離れたノードの属性間の関係の記述が難しく，かつジャンプ命令によって属性の依存関係に循環が生じる場合に評価ができなかったからである．そこで我々は，遠隔ノードの属性参照が可能で，かつある条件下での属性依存関係のサイクルを許すという循環リモート属性文法を提案した．本研究では、この拡張した属性文法を用いて非構造的ジャンプを持つ言語に対する，部分冗長性除去の最適化器の実装を行った．データフロー方程式に基づき，怠けたコード移動の可読性の優れた記述に成功した．
