枝刈り機構とメモ化機構をもつ言語
スポンサーリンク
概要
- 論文の詳細を見る
枝刈りとメモ化は，プログラムの実行効率を改善するための技法であり，両者を組み合わせることにより相乗効果を期待することができる．ところが従来のプログラミング言語で両者の併用を記述しようとすると，これらを明示的に記述する必要が生じ，プログラムの見通しが悪くなるという問題点があった．この問題点を解決するため，本論文では，これらの技法を遅延評価を行なう純関数型言語の評価機構の中に積極的に採り入れることを提案する．拡張した言語は，枝刈りとメモ化の併用の簡潔な記述を可能にし，また，遅延評価方式よりも一般化された評価戦略を実現する．この特徴により，本言語を用いれば，必要な計算だけを進め，必要に応じて中断した計算を再開するincremental computationを簡潔に記述できる．記述例としてナップサック問題を解くプログラムを取り上げ，本言語の有効性を検証する．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)