文献

J-GLOBAL ID：202202228948399024   整理番号：22A1053023

スコープ効果の構造化処理【JST・京大機械翻訳】

Structured Handling of Scoped Effects

著者 (5件)： Yang Zhixuan (Imperial College London, London, United Kingdom) ,  Paviotti Marco (Imperial College London, London, United Kingdom) ,  Wu Nicolas (Imperial College London, London, United Kingdom) ,  van den Berg Birthe (KU Leuven, Leuven, Belgium) ,  Schrijvers Tom (KU Leuven, Leuven, Belgium)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13240  ページ： 462-491  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 代数効果は多様な影響をカバーする多目的フレームワークを提供する。しかしながら,範囲を制限する操作のファミリーは,代数的ではなく,通常,取扱者としてモデル化され,従って,それらを代数的操作と共に自由に使用することを妨げる。スコープ操作のための提案は存在するが,それらはアドホックで非原理的であり,また,実用的プログラミングには不便である。本論文は,両方の世界:実装と推論に便利である範囲効果の理論的基礎モデルを提供する。著者らの新しいモデルは,局所的に有限に存在するカテゴリーと基礎代数学のカテゴリーの間の補助に基づいている。付属物間の比較関数を用いて,著者らは,著者らの新しいモデル,既存の索引付けモデル,および代数的ものに関する範囲操作をシミュレーションする第3のアプローチが,処理範囲操作のために等しい表現性を有することを示した。実装の容易さと構造化の間のスイートスポットである新しいモデルを考察した。さらに,著者らのアプローチは,推論と最適化のために有用な範囲効果の取扱者の融合法則を自動的に誘導する。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  計算機プログラミング ,  理論 ,  代数学 ,  比較 ,  計算 ,  モデリング ,  *構造形成 ,  モデル ,  効果 ,  推論 ,  関数型言語 ,  フレームワーク【ソフトウェア開発】
準シソーラス用語： 表現力 ,  Haskell ,  スイートスポット , 【Automatic Indexing@JST】

著者キーワード (7件)： 計算効果 ,  カテゴリー理論 ,  Haskell ,  代数理論 ,  スコープ効果 ,  ハンドラ ,  抽象構文

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： 構造化