文献

J-GLOBAL ID：202002260717568586   整理番号：20A0855272

PAR平均並列:並行関数プログラムとしての乗法的線形論理証明【JST・京大機械翻訳】

Par means parallel: multiplicative linear logic proofs as concurrent functional programs

著者 (2件)： Aschieri Federico (TU Vienna, Austria) ,  Genco Francesco A. (University of Paris 1, France)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 4  号： POPL  ページ： 1-28  発行年： 2019年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Abramskyの「Profs-as-Processes」プログラムのラインに沿って,同時機能プログラミングのためのタイピングシステムとして乗法的線形論理の解釈を提示した。特に,線形多重結論自然推論システムを研究し,それがλparと呼ばれる並列性と通信プリミティブによるλ-計算の単純で自然な拡張に同形であることを示した。著者らは,λparが,タイプ化プログラミング言語のためのすべての望ましい特性を満たすことを証明した。すなわち,主題の縮小,進行,強い正規化,および合流である。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】

著者キーワード (3件)： 証明-AS-プログラム ,  古典的乗算線形論理 ,  並行性

分類 (3件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (7件)： PAR ,  平均 ,  並行 ,  関数 ,  乗法 ,  線形論理 ,  証明