| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-03-03 13:05 単純型付き項書き換え系における静的依存対法とその周辺 ○草刈圭一朗・酒井正彦（名大）  SS2007-61 |
|
| 抄録 | （和） | 我々が提案した 関数プログラムの強力な停止性証明法である静的依存対法は 一般には適用できないため取り扱うプログラムに一定の制限を課す必要がある． このような制限として我々は直接関数渡しと呼ばれる性質を提案した． 本論文ではより適用範囲の広い関数渡しの安全条件を提案し， このクラスで静的依存対法が健全であることを示す． また，依存対法で停止性を証明する際には， 引数切り落とし法や実効規則が重要となる． 本論文では，既存の引数切り落とし法と異なり 型の構造を破壊しない引数切り落とし法も与える． さらに，実効規則の既存の成果を拡張して 引数切り落とし法と組合せた実効規則の概念を与える． |
| （英） | We proposed a static dependency pair method, which can effectively prove termination of functional programs. Since the method is not applicable in general, we proposed plain function-passing as a restriction. In this paper, we refine the method. Firstly we propose the notion of safely function-passing, which relax the restriction of plain function-passing. Next we improve the argument filtering method, which support dependency pair methods by generating a reduction pair from a given reduction order. Our argument filtering method does not destroy type structure unlike existing method. Hence our method can effectively apply reduction orders which make use of type information. Finally we combine argument filtering method and usable rules, which reduce the number of constraints. |
|
| キーワード | （和） | 単純型付き項書き換え系 / 停止性 / 静的依存対 / 引数切り落とし法 / 実効規則 / / / |
| （英） | Simply-Typed Term Rewriting / Termination / Static Dependency Pair / Argument Filtering / Usable Rule / / / | |
| 文献情報 | 信学技報, vol. 107, no. 505, SS2007-61, pp. 25-30, 2008年3月. | |
| 資料番号 | SS2007-61 | |
| 発行日 | 2008-02-25 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2007-61 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2008-03-03 - 2008-03-04 |
| 開催地（和） | 長崎大学 |
| 開催地（英） | Nagasaki Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | general |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2008-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 単純型付き項書き換え系における静的依存対法とその周辺 |
| サブタイトル（和） | |
| タイトル（英） | Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 単純型付き項書き換え系 / Simply-Typed Term Rewriting |
| キーワード(2)（和/英） | 停止性 / Termination |
| キーワード(3)（和/英） | 静的依存対 / Static Dependency Pair |
| キーワード(4)（和/英） | 引数切り落とし法 / Argument Filtering |
| キーワード(5)（和/英） | 実効規則 / Usable Rule |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 草刈 圭一朗 / Keiichirou Kusakari / クサカリ ケイイチロウ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-03-03 13:05:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2007-61 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.505 |
| ページ範囲 | pp.25-30 |
| ページ数 | 6 |
| 発行日 | 2008-02-25 (SS) |
[研究会発表申込システムのトップページに戻る]