Introducing Sequence Variables in Program Transformation based on Templates
勇輝 千葉,等人 青戸,芳人 外山,Yuki Chiba,Takahito Aoto,Yoshihito Toyama, Huet と Lang により提案されたパタンに基づくプ, この手法はラムダ計算に基づいているため変換の正当, 性を形式的に検証することが容易ではなく検証の自動, 著者らは形式化に項書き換えシステムを用いたパ, タンに基づくプログラム変換法を文献 において提, 案したラムダ計算を用いた従来手法と対照的にこの, より変換の正当性の自動検証も可能となるしかし項, 書き換えシステムの枠組みでは変換パタンに出現す, 次数) が固定されているため基本, 的に同じ変換パタンであっても関数の次数に応じて, 異なる変換パタンを用意する必要があった一方ラ, ムダ計算に基づく変換パタンではη 変換を効果的に, 用いることで同一の変換パタンを関数の次数に無関, 本論文では項書き換えシステムに列変数の概念を導, 入することでラムダ計算の, Η 変換を用いなくても関, ことを明らかにする列変数をもつ, 第 階) 項の単一, Xml 文書の変換へ列変数の応用, ない本論文では列変数を導入した第 階変換パタ, ンを形式化するとともにその照合アルゴリズムを提案, するこの照合アルゴリズムを利用することでより汎 msra
AI 理解论文
溯源树
样例
