文献

J-GLOBAL ID：202002218143940583   整理番号：20A0078162

二次計算分析器SOLによる等式理論の決定可能性を証明する方法【JST・京大機械翻訳】

How to prove decidability of equational theories with second-order computation analyser SOL

著者 (1件)： HAMANA MAKOTO (Gunma University, Kiryu, Gunma, Japan (e-mail: [e-mail]))
資料名： Journal of Functional Programming  (Journal of Functional Programming)
巻： 29  ページ： e20  発行年： 2019年 
JST資料番号： W1589A  ISSN： 0956-7968  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 著者らは,二次代数理論のフレームワークにおけるプログラミング言語概念の等価理論の決定可能性を証明する一般的方法論を提示した。Haskellに基づく解析ツール,すなわち,二次代数理論から導出された計算規則の合流と強い正規化の証明を支援する第二次解析ツールを提案した。プログラミング言語理論における種々の例をカバーするために,著者らは非自明な方法で二次計算の構文的および意味論的結果の両方を結合して拡張した。文献における種々の代数理論の決定可能性を証明する方法を実証した。それは,モナドとλ-計算,Plotkinとパワーの状態とビットの理論,およびπ-計算のStark理論を含んでいる。また,この方法論がどのようにモノイドカテゴリのコヒーレンスを解決できるかを実証した。ビデオ抽象は,https://vimeo.com/365486403において見つけることができた。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コヒーレンス ,  プログラミング言語 ,  正規化 ,  分析機器 ,  意味論 ,  録画装置 ,  *代数学
準シソーラス用語： モノイド ,  モナド ,  構文 ,  Haskell ,  *決定可能性 ,  *等式理論 , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 計算 ,  分析器 ,  等式理論 ,  決定可能性 ,  証明