Predictive Labeling
スポンサーリンク
概要
- 論文の詳細を見る
Proceedings of the 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006.Semantic labeling is a transformation technique for proving the termination of rewrite systems. The semantic part is given by a quasi-model of the rewrite rules. In this paper we present a variant of semantic labeling in which the quasi-model condition is only demanded for the usable rules induced by the labeling. Our variant is less powerful in theory but maybe more useful in practice.
論文 | ランダム
- 書評 湯原かの子著『藤田嗣治--パリからの恋文』
- 書評 「パンテオン会雑誌」研究会編『百年のときを経て甦った日本人留学生の肉声』
- INTERVIEW 坂口幸弘 関西学院大学准教授 (継ぐに継げない!? 困った相続) -- (葬儀・墓編 納得の行く見送り方とは)
- ピーマンの養分吸収と施肥
- 福祉現場に望んで哲学し始める (特集 新世紀の社会福祉とは(1)理念と枠組みの視点から)