| 講演名 | 2017-10-19 動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて 山本 晃治(富士通研), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ソースコードの静的解析を行うことで，関数・メソッドに対する処理内容の変更前後差異の特定，呼び出し関係の抽出，引数の利用先や設定元の特定を網羅的に行える．Python など動的型付き手続き型言語で記述された関数の場合，静的型付き言語に比べ型情報が少ないため，静的解析の際には flow や context の情報の活用が望ましい．本発表では flow-sensitive な静的解析を，ラムダ計算に基づくグラフデータ構造とそのグラフ書き換え系を用いて行う試みについて，途中経過を報告する． |
| 抄録(英) | Static code analysis, in contrast to dynamic analysis, offers results with higher code coverage to locate differences of methods between revisions, to extract caller-callee relationships, or to pick up sites where a method argument is delivered to or where a method parameter value is brought from. Code in Python or other dynamically typed procedural languages contains less amount of information on types than statically typed ones. Therefore precise static analysis for dynamically typed languages depends upon flow-sensitivity and context-sensitivity. This material reports an in-progress trial of flow-sensitive static analysis with graph structure based on lambda calculus and rewriting system on the structure. |
| キーワード(和) | コード静的解析 / ラムダ計算 / 項書き換え系 / グラフ書き換え系 |
| キーワード(英) | Static code analysis / Lambda calculus / Term rewriting / Graph rewriting |
| 資料番号 | SS2017-21,DC2017-20 |
| 発行日 | 2017-10-12 (SS, DC) |
| 研究会情報 | |
| 研究会 | SS / DC |
|---|---|
| 開催期間 | 2017/10/19(から2日開催) |
| 開催地（和） | 高知市文化プラザかるぽーと |
| 開催地（英） | Kochi City Culture-plaza CUL-PORT |
| テーマ（和） | ソフトウェアシステム, ネットワーク環境でのディペンダビリティ |
| テーマ（英） | Software System and Dependability on Network, etc |
| 委員長氏名（和） | 緒方 和博(北陸先端大) / 井上 美智子(奈良先端大) |
| 委員長氏名（英） | Kazuhiro Ogata(JAIST) / Michiko Inoue(NAIST) |
| 副委員長氏名（和） | 中田 明夫(広島市大) / 福本 聡(首都大東京) |
| 副委員長氏名（英） | Akio Nakata(Hiroshima City Univ.) / Satoshi Fukumoto(Tokyo Metropolitan Univ.) |
| 幹事氏名（和） | 小林 隆志(東工大) / 肥後 芳樹(阪大) / 吉村 正義(京都産大) / 金子 晴彦(東工大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Yoshiki Higo(Osaka Univ.) / Masayoshi Yoshimura(Kyoto Sangyo Univ.) / Haruhiko Kaneko(Tokyo Inst. of Tech.) |
| 幹事補佐氏名（和） | 島 和之(広島市大) / 新井 雅之(日大) |
| 幹事補佐氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Masayuki Arai(Nihon Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Dependable Computing |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて |
| サブタイトル（和） | |
| タイトル（英） | Towards a lambda-graph rewriting to analyze modification impacts and identify behaviors of dynamically typed procedural languages |
| サブタイトル（和） | |
| キーワード(1)（和/英） | コード静的解析 / Static code analysis |
| キーワード(2)（和/英） | ラムダ計算 / Lambda calculus |
| キーワード(3)（和/英） | 項書き換え系 / Term rewriting |
| キーワード(4)（和/英） | グラフ書き換え系 / Graph rewriting |
| 第 1 著者 氏名（和/英） | 山本 晃治 / Koji Yamamoto |
| 第 1 著者 所属（和/英） | 株式会社 富士通研究所(略称：富士通研) Fujitsu Laboratories Ltd.(略称：Fujitsu Labs.) |
| 発表年月日 | 2017-10-19 |
| 資料番号 | SS2017-21,DC2017-20 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | SS-248,DC-249 |
| ページ範囲 | pp.1-6(SS), pp.1-6(DC), |
| ページ数 | 6 |
| 発行日 | 2017-10-12 (SS, DC) |