این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
محاسبات نرم، جلد ۱، شماره ۲، صفحات ۱۴-۲۵
عنوان فارسی توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان‌پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
چکیده فارسی مقاله سی ترم
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Improvement of Semantic Labeling Method by KBO for Automated Termination Proof
چکیده انگلیسی مقاله  The term rewriting systems (TRSs) is an abstract model of functional languages. The termination proving of TRSs is necessary for confirming accuracy of functional languages. The semantic labeling (SL) is a complete method for proving termination. The semantic part of SL is given by a quasi-model of the rewrite rules. The most power of SL is related to infinite models that is difficult for support by tools of automated termination proving. In this paper, we combined the SL method with natural numbers and Knuth-Bendix order (KBO) so that one can automatically prove termination using infinite models. We: (1) made a generalization based on KBO, called labeling Knuth-Bendix order (ℓKBO), (2) showed its ability in proving termination of TRSs, (3) we introduced an algorithm to automatically search a ℓKBO for a given TRS and (4) successfully tested the algorithm functionality on TPDB 3.1, a data set of TRSs. 
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله محمد کدخدا | mohammad kadkhoda


سعید جلیلی | saeed jalili
دانشگاه تربیت مدرس
سازمان اصلی تایید شده: دانشگاه تربیت مدرس (Tarbiat modares university)

محمد ایزدی | mohammad izadi
دانشگاه صنعتی شریف
سازمان اصلی تایید شده: دانشگاه صنعتی شریف (Sharif university of technology)

نشانی اینترنتی http://scj.kashanu.ac.ir/browse.php?a_code=A-10-42-2&slc_lang=fa&sid=fa
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/1052/article-1052-206344.pdf
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده تخصصی
نوع مقاله منتشر شده پژوهشی
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات