高次項書き換えシステム高次項書き換えシステム。効果的なプログラム分析の新しいアプローチ計算機科学における論理LCTRSを使った機能プログラムの分析の進展高階項書き換えシステムを使った関数型プログラムの分析のための新しい方法。2025-10-15T22:07:06+00:00 ― 1 分で読む
高次関数における終了高次関数における終了析を強化する。新しいフレームワークがプログラム終了の分計算機科学における論理LCSTRSを使ったプログラム終了の分析高階関数の終了を分析するための新しいフレームワーク。2025-07-23T12:33:30+00:00 ― 1 分で読む