文献

J-GLOBAL ID：202002253211097103   整理番号：20A1034554

CONSORT 命令型プログラムのための文脈とフローに敏感な所有洗練型【JST・京大機械翻訳】

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

著者 (5件)： Toman John (Kyoto University, Kyoto, Japan) ,  Siqi Ren (Kyoto University, Kyoto, Japan) ,  Suenaga Kohei (Kyoto University, Kyoto, Japan) ,  Igarashi Atsushi (Kyoto University, Kyoto, Japan) ,  Kobayashi Naoki (The University of Tokyo, Tokyo, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12075  ページ： 684-714  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,muビリティとエイリアシングの存在における安全性検証のためのタイプシステムであるCONSORTを提示した。プログラム実行中の不変量をモデル化するためには強い更新が必要であるが,ポインタ間のエイリアシングにより,どの不変量が突然変異に応じて更新されなければならないかを決定することは困難になる。著者らのタイプシステムは,精密化タイプと分数所有タイプの新しい組合せによって,この困難さを扱う。分数所有型は,参照変数に対する流れに敏感で正確なエイリアシング情報を提供する。CONSORTは,潜在的にエイリアシングされた参照の強い更新を扱うために,この所有権情報を解釈する。CONSORT音を証明し,プロトタイプ,完全自動化推論ツールを実装した。このツールを評価し,データ構造実装を含む非自明なプログラムを検証した。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： データ構造 ,  音響 ,  突然変異 ,  不変量 ,  精密化 ,  プログラム検証 ,  プログラム実行 ,  *エイリアシング ,  プロトタイプ
準シソーラス用語： 所有権 ,  ポインタ , 【Automatic Indexing@JST】

著者キーワード (7件)： 精密化タイプ ,  突然変異可能な基準 ,  エイリアシング ,  強い更新 ,  分数所有者 ,  プログラム検証 ,  タイプシステム

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 命令 ,  文脈 ,  フロー ,  所有