不等式を持つデータ型の性質
スポンサーリンク
概要
- 論文の詳細を見る
本報告では,Cardelli(1984)のレコード型の体系に不等式の表明を追加して,継承を表明の強さをも考慮するように拡張した型体系を提案し,それが,元のCardelliの体系の保存的拡大であることを示す.次に,その体系に対して,cpo上の完備な部分同値関係による意味論を与え,この意味論に対して,本報告の型体系が健全であることを示す.
- 一般社団法人情報処理学会の論文
- 1993-05-28
著者
関連論文
- 標準構造に基づく系統的ソフトウェア設計法 (プログラム設計技法)
- 精密ソフトウェア工学のすすめ
- 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
- 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
- 不等式を持つデータ型の性質
- 86-38 型理論に関する3つのアプローチ