文献

J-GLOBAL ID：202202220300692868   整理番号：22A0508005

効果的なプログラム拡張【JST・京大機械翻訳】

Effectful program distancing

著者 (2件)： Dal Lago Ugo (University of Bologna, Italy / Inria, France) ,  Gavazzo Francesco (University of Bologna, Italy / Inria, France)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 6  号： POPL  ページ： 1-30  発行年： 2022年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 意味は伝統的にプログラム等価性に関心があり,その中で等価でないプログラムのすべてのペアは,同じように処理され,そして,簡単には実行不能である。近年,非等価プログラム間の距離が適切な量子化の要素として測定されるように,様々な形式のプログラムメトリックが導入されている。比較プログラムの型がより複雑になるので,その根底にある量子量を変えることで,微分論理的関係の最近導入されたフレームワークは,推論の新しい文脈形式を可能にする。本論文では,この全ては,その値だけでなく,また,その効果計算製品が,原理的に,適切に距離化できる,効果の高い高次プログラムに一般化できる,ことを示した。その結果,得られたフレームワークは柔軟であり,様々な形式の効果を扱うことができ,プログラム差についてコンパクトで有益な判断を提供することを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 量子化 ,  *微分 ,  等価性 ,  λ計算
準シソーラス用語： ホップ数 , 【Automatic Indexing@JST】

著者キーワード (5件)： ラムダ計算 ,  論理的関係 ,  計量 ,  モナド ,  プログラム距離

分類 (2件)： 計算理論  (JB02000A) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (1件)： 拡張