抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
従来のタイピングと評価仕様で使用される推論ルールのスタイルに近いより簡潔な記述属性方程式のための属性文法のためのモナディフィケーションプロセスを記述した。例えば,タイピング関係は,典型的な表現のみを考慮し,一方,明確な属性文法は,不可解なものを含む任意の項に対する属性値を明示的に決定する。モナディフィケーションアプローチは,例えば,モナディックオプション/マイベ値のようなタイプを代表しているが,正しいタイピングのための規則を指定するだけで,より簡潔な仕様をもたらす,モナド内部の値に対する非モナディック方程式を書き込む。欠測故障事例は,不可解な木を扱う明確な属性文法を生成するために,モナディックリターン,結合,および故障操作を挿入する書き換えによって扱われる。したがって,1つはタイプTと実際のモナディックタイプM(T)に関して考慮できる。この概念を定式化するために,オリジナルおよび書き込み方程式に対して,タイピングおよび評価関係を与えた。書き換えは,総,保存型であり,オリジナルおよび書き換え方程式の値に関連する正しさ特性を与える。プロトタイプ実装は,Boolesによる単純型ラムダ計算のタイピング,同じ評価,およびCaml光における型推論のような例による利点を説明した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】