文献

J-GLOBAL ID：202202287974764132   整理番号：22A0921266

効果的な改善理論【JST・京大機械翻訳】

Effectful improvement theory

著者 (4件)： Ceresa Martin A. (Universidad Nacional de Rosario, Av. Pellegrini 250, Rosario, 2000, Santa Fe, Argentina) ,  Ceresa Martin A. (CIFASIS-CONICET, Bv. 27 de Febrero 210 bis, Rosario, 2000, Santa Fe, Argentina) ,  Jaskelioff Mauro J. (Universidad Nacional de Rosario, Av. Pellegrini 250, Rosario, 2000, Santa Fe, Argentina) ,  Jaskelioff Mauro J. (CIFASIS-CONICET, Bv. 27 de Febrero 210 bis, Rosario, 2000, Santa Fe, Argentina)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 217  ページ： Null  発行年： 2022年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 最適化プログラムは難しい。1つは意味論を保存しなければならないだけでなく,最適化がプログラムをより良好に行うことを確実にする必要がある。第一部は,プログラム意味論を保存し,まだ多くの研究の主題である。Morrisの観測等価性から始まり,Abramskyのアプリケーション双類似性とHoweの方法で継続し,Dal Lago,GavazzoとLevyによる代数的効果の存在における適用双類似性の最近の抽象形式化において結論を下した。第二部は,最適化がプログラムをより良好に行うことを確実にして,最も突出した用例である砂の改良理論によって,旅行がより少ない経路であった。本研究では,これら2つの部分を,効果のある言語に対する改良のSandsの概念を拡張する効果のある応用双類似性に基づく改善の抽象理論を得ることにより接続した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *最適化 ,  意味論 ,  言語 ,  理論 ,  応用プログラム ,  抽象 ,  効果 ,  類似性 ,  等価性 ,  関数プログラミング
準シソーラス用語： 用例 ,  プログラム意味論 , 【Automatic Indexing@JST】

著者キーワード (4件)： 関係コスト分析 ,  関数プログラミング最適化 ,  改善理論 ,  代数効果

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

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