WEKO3
アイテム
5分で分かる!? 有名論文ナナメ読み:Lars Ole Andersen : Program Analysis and Specialization for the C Programming Language
https://doi.org/10.20729/00215932
https://doi.org/10.20729/002159328db0c401-1f42-4e10-96fd-03b31bff9fa4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine_02(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-01-15 | |||||||
| タイトル | ||||||||
| タイトル | 5分で分かる!? 有名論文ナナメ読み:Lars Ole Andersen : Program Analysis and Specialization for the C Programming Language | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 連載 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| ID登録 | ||||||||
| ID登録 | 10.20729/00215932 | |||||||
| ID登録タイプ | JaLC | |||||||
| 著者所属 | ||||||||
| サイボウズ・ラボ | ||||||||
| 著者名 |
内田, 公太
× 内田, 公太
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿はC言語のポインタ解析手法として有名なAPA(Andersen's Pointer Analysis)を紹介する.プログラムの振る舞いを調べることは,バグ発見や最適化にとって重要な前処理である.APAはポインタ変数が指すオブジェクトを特定する.APAは,それぞれのポインタ変数が指し得るオブジェクトの集合を求めるフローインセンシティブな手法である.また,関数の呼び出し文脈を区別できるため,同じ関数が複数個所で呼ばれた場合でも高精度に解析できる.APAの発表から28年ほど経つが,今もなおAPAは高度な解析を行うための基礎的な解析として用いられている. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 63, 号 2, p. 86-87, 発行日 2022-01-15 |
|||||||