再帰関数表における依存属性集合の計算法
スポンサーリンク
概要
- 論文の詳細を見る
関数型言語における関数のノンストリクトネスを表現する方法として，筆者らは先に，依存属性集合（DPS）の概念を提案した．本論文では，再帰関数系のDPSを計算するアルゴリズムに関し，プログラムの不動点理論と関連付けて，その性質と限界を証明している．そして，先に提案したアルゴリズムが必ず真のDPSを含むという意味で安全なこと，一般的に真のDPSを計算するアルゴリズムは存在しないことなどを明らかにしている．DPSは必須引数の概念を一般化したものであり，たとえば，ノンストリクト関数の部分計算法である射影関数法において，部分計算の制御に使用されている．本論文の証明法は，関数型言語の特徴を生かし，プログラムの表示的意味論と関連付けて議論を進めているため，プログラムのオペレーショナルな側面から完全に独立した証明になっている．したがって，本論文の証明は，プログラムの不動点計算規則を実現している任意のオペレーショナル・セマンティクスを持つ一階の関数型言語に適用することができる．
- Institute of Electronics, Information and Communication Engineersの論文
- 1986-05-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