決定論的２階パターンとプログラム変換への応用
スポンサーリンク
概要
- 論文の詳細を見る
2階パターンと2階マッチングを用いると高度なプログラム変換を記述することができることが知られている．しかし2階マッチングはNP完全であるため効率がよい実装が望めず，また非決定論的であるため，セマンティクスが複雑であるという問題点がある．われわれは，2階パターンの形を制限することで，どのような項とも高々1つのマッチしか得られないようなパターンのクラスを決定論的2階パターンとして定め，またこのマッチを得るための効率の良いアルゴリズムを開発した．本論文では，このような決定論的2階パターンのクラスを拡張し，また決定論的線形2階パターンであるための必要十分条件を与える．このパターンのクラスを用いる幅広い応用が可能であると考えられる．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)