高階関数型言語におけるランキング関数の回帰推定

• 村本, 大起

• 佐藤, 亮介

• 鵜林, 尚靖

• 亀井, 靖高

抄録

ソフトウェアの停止性検証は，プログラム理解において重要な問題である．停止性検証を行うためには，ランキング関数と呼ばれる，ループまたは再帰ごとに値が常に減少し，かつ最小値を抑えられる算術式を推定することが必要である．高階関数型言語において停止性検証を行う既存研究では，末尾再帰関数のような引数が多いものに関しては正確な推定が難しく，検証できないものが多く存在している．よって本研究では，線形回帰を用いてランキング関数の推定を行うことで，引数の多いプログラムについても検証ができる様に改善を試みる．

収録刊行物

• ウィンターワークショップ2018・イン・宮島 論文集

  ウィンターワークショップ2018・イン・宮島 論文集 2018 58-59, 2018-01-11

キーワード

• プログラム理解

詳細情報

• CRID: 1050292572129851264
• NII論文ID: 170000176291
• Web Site: http://id.nii.ac.jp/1001/00185223/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles