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.
論文 | ランダム
- ASPIRIN THERAPY IN PATIENTS WITH ISCHEMIC HEART DISEASE : Cardiovascular Drugs : 46th Annual Scientific Meeting, Japanese Circulation Society
- 三重のくにづくり : 地方から改革の流れを大河に (特集 スマート・プラクティス政府 : 行政の経営改革)
- Plasma Vitellogenin Concentration of Juvenile Koi carp (Cyprinus carpio) Exposed In Situ to Effluent from a Sewage Treatment Works
- マイクロ波デバイスシミュレータの基礎と応用
- マイクロ波デバイスシミュレータの基礎と応用