文献

J-GLOBAL ID：202002232286853767   整理番号：20A1796961

精密化からの所有領域の推論【JST・京大機械翻訳】

Inferring ownership domains from refinements

著者 (2件)： Khalaj Ebrahim (Wayne State University, USA) ,  Abi-Antoun Marwan (Wayne State University, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： GPCE 2018  ページ： 53-65  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Ownership型等化器は,主流プログラミング言語で直接表現できないエイリアシング不変量を明らかにする。しかし,コードに等化器を加えることは,しばしば有意なオーバヘッドと困難な相互作用を含む。厳密なカプセル化,論理的封じ込め,および建築階層を表現する開発者精密化に基づくコードにおける等化器を推論する解析を提案した。精密化は,以下を含む:makeOwedBy,もう1つによって厳密にカプセル化された物体を作ること;makePartOfであり,オブジェクトを論理的に他のものに含んだ。2つのオブジェクトピアを作るために,メークピア。makeParamは,上記の選択よりも物体をよりアクセスできる。あるいは,makeShared,オブジェクトを大域的にエイリアシングすることを可能にする。コードが要求された精密化に適合するならば,分析は,タイプチェックの資格者を生成する。そうでなければ,精密化はコードにマッチしないので,開発者は予想外のエイリアシングを調査し,コードの理解を変更し,異なる精密化をし,またはコードを変え,解析を再実行しなければならない。解析を実行し,精密化が厳密なカプセル化,論理的格納容器,および建築階層を表現する正確な等化器を生成することを確認した。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】

著者キーワード (2件)： 所有型システム ,  タイプ推論

分類 (5件)： 消化器の腫よう  (GH04000D) ,  微生物の生化学  (EG03020N) ,  圧縮点火機関  (PB02030N) ,  細胞生理一般  (EF02010S) ,  有機化合物の各種分析  (CC08034J)

タイトルに関連する用語 (3件)： 精密化 ,  所有 ,  推論