文献

J-GLOBAL ID：202002223980847693   整理番号：20A2524140

ランキング関数の回帰推定による関数型言語の停止性検証

Termination Verification for Functional Programs via Regression Prediction of Ranking Function

著者 (4件)： 村本大起 (九大) ,  佐藤亮介 (九大) ,  鵜林尚靖 (九大) ,  亀井靖高 (九大)
資料名： 情報処理学会論文誌トランザクション プログラミング(Web)  (情報処理学会論文誌 プログラミング(Web))
巻： 13  号： 4  ページ： 27 (WEB ONLY)  発行年： 2020年10月23日 
JST資料番号： U0474A  ISSN： 1882-7802  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・ループ又は再帰ごとに値が常に減少し,かつ常に正となる性質をもつ写像をランキング関数というが,プログラム停止性検証を行う有力な関数。
・末尾再帰関数のような制御フローに関係ない引数を多く含むプログラムについては,ランキング関数によるプログラムの停止性検証が困難。
・仮のランキング関数を定め,プログラム停止性検証を行うことを提案。
・ランキング関数が妥当でなければ,得られた引数の値から新たなランキング関数を線形回帰で推定し,又,妥当でなければこれを繰り返す方法。

シソーラス用語： *推定 ,  回帰分析 ,  *関数型言語 ,  高水準言語 ,  *停止 ,  アルゴリズム ,  帰納的関数 ,  写像
準シソーラス用語： *回帰推定 ,  再帰関数 ,  *停止性

分類 (2件)： 計算機システム開発  (JD02010R) ,  システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (6件)： ランキング ,  関数 ,  回帰推定 ,  関数型言語 ,  停止性 ,  検証