文献

J-GLOBAL ID：202002270479053966   整理番号：20A2638425

オブジェクト初期化のための型および効果システム【JST・京大機械翻訳】

A type-and-effect system for object initialization

著者 (5件)： Liu Fengyun (EPFL, Switzerland) ,  Lhotak Ondrej (University of Waterloo, Canada) ,  Biboudis Aggelos (EPFL, Switzerland) ,  Giarrusso Paolo G. (Delft University of Technology, Netherlands) ,  Odersky Martin (EPFL, Switzerland)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 4  号： OOPSLA  ページ： 1-28  発行年： 2020年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： あらゆる新しく生成されたオブジェクトは,いくつかの初期化状態を通して進む:すべてのフィールドがそれらの全てを割り当てるまで,すべてのフィールドが初期化されない状態から出発する。その初期化過程中の物体に関する任意の操作は,通常,この構成者において発生するが,それは,正しさのためのオブジェクトの初期化状態を観察して,すなわち,初期化場だけを使用するかもしれない。ソースコードにおける初期化状態の手動アノテーションなしに,この静的に安全な使用をチェックすることは,エイリアシングと仮想方法がこれを要求するため,挑戦課題である。主流言語は,Java,C++,Scalaなどの初期化誤差をチェックせず,Swiftのような有用な初期化パターンをサポートすることによって,それらに対して防御する。平行して,過去の研究は,安全な初期化が,表現性の程度を変えながら,シンタクチックな単純さを犠牲にして達成できることを示した。全体プログラム解析を回避する初期化に関する局所推論のアップ保持によりこの問題にアプローチし,サブタイピングによりタイプ状態多形を達成した。これに基づき,柔軟な初期化パターンを可能にしながら,初期化安全性を効果的に保証できる新型および効果システムを提唱した。Scala3コンパイラにおける初期化チェッカーを実装し,いくつかの実世界プロジェクトを評価した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 焼結 ,  言語 ,  *コンパイラ ,  エイリアシング ,  プログラム解析 ,  C++言語 ,  アノテーション ,  Java
準シソーラス用語： 表現力 ,  ソースコード , 【Automatic Indexing@JST】

著者キーワード (2件)： オブジェクト初期化 ,  タイプと効果のsy

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

タイトルに関連する用語 (3件)： オブジェクト ,  初期化 ,  型