文献

J-GLOBAL ID：202002257751305915   整理番号：20A2638404

Juliaにおける世界年齢:世話の存在下における最適化方法の配分【JST・京大機械翻訳】

World age in Julia: optimizing method dispatch in the presence of eval

著者 (6件)： Belyakova Julia (Northeastern University, USA) ,  Chung Benjamin (Northeastern University, USA) ,  Gelinas Jack (Northeastern University, USA) ,  Nash Jameson (Julia Computing, USA) ,  Tate Ross (Cornell University, USA) ,  Vitek Jan (Northeastern University, USA / Czech Technical University, Czechia)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 4  号： OOPSLA  ページ： 1-26  発行年： 2020年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 動的プログラミング言語は,実行プログラムに新しいコードを注入できるような,evalのような特徴の存在における意味と性能の課題に直面している。Juliaプログラミング言語は,evalの最も破壊的側面効果の1つから最適化コードを絶縁する世界年齢の新しい概念を導入し,既存の機能の定義への変化である。本論文は,ジャイレットと呼ばれるコア計算における世界年齢の最初の形式的意味論を提供し,世界年齢が,evalの存在において,インライニングのようなコンパイラ最適化を可能にする方法を示す。また,Juliaは,世界年齢を迂回する手段を有するプログラマを提供する一方で,このメカニズムが広範囲に使用されないことを見出した:4,000以上の登録Juliaパッケージの静的分析は,パッケージバイパス世界年齢の4~9%だけを示した。これは,Juliaの意味論がプログラマの期待と整合することを示唆する。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】

著者キーワード (4件)： 編集 ,  動的言語 ,  世話 ,  方法ディスパッチ

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

タイトルに関連する用語 (4件)： 世界 ,  年齢 ,  最適化方法 ,  配分