関数型プログラムの宣言的デバッグシステムDDS
スポンサーリンク
概要
- 論文の詳細を見る
本論文では，宣言的デバッグシステムDDSの概要と実現法について述べる．DDSの目標は，副作用のない関数型プログラムに対して次のようなデバッグシステムを与えることである．（1）プログラマはプログラムに期待する実行結果や途中結果を与え（宣言的に定義し），それに基づいてシステムがバグを機械的に検出する．（2）与えるべき入力が少なく，かつ，容易に与えられるように，プログラマに効果的なガイドを提供する．（3）メモリ量，計算量に関して効率的なバグ検出機構を備え，広範なプログラムに適用可能な対話型システムである．本論文では，DDSの効率的な実現法を与えるフィルタと呼ぶ機構を提案する．フィルタは，タビュレーション技法をバグ検出の観点から発展させ，小容量のメモリで実現する機構である．フィルタは，バグ検出に必要なインスタンスを選択的に保持し，保持データを用いてプログラムの関数呼出しを制御する機構である．本論文では，更に，VAX/VMS上にCommon Lispを用いて作成したDDSの実験システムによるデバッグ例を示し，DDSの有効性を示す．
- Institute of Electronics, Information and Communication Engineersの論文
- 1989-11-00
Institute of Electronics, Information and Communication Engineers | 論文
- Proposal of a Desk-Side Supercomputer with Reconfigurable Data-Paths Using Rapid Single-Flux-Quantum Circuits
- Interacting Self-Timed Pipelines and Elementary Coupling Control Modules
- A Lexicon-Driven Handwritten City-Name Recognition Scheme for Indian Postal Automation
- A Dual Transformation Approach to Current-Mode Filter Synthesis
- Acoustic Feature Transformation Combining Average and Maximum Classification Error Minimization Criteria