کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9656883 | 686148 | 2005 | 28 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Automating the dependency pair method
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Automating the dependency pair method Automating the dependency pair method](/preview/png/9656883.png)
چکیده انگلیسی
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area in the past few years. The dependency pair method of Arts and Giesl is one of the most popular such methods. However, there are several obstacles that hamper its automation. In this paper we present new ideas to overcome these obstacles. We provide ample numerical data supporting our ideas.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 199, Issues 1â2, 25 Mayâ15 June 2005, Pages 172-199
Journal: Information and Computation - Volume 199, Issues 1â2, 25 Mayâ15 June 2005, Pages 172-199
نویسندگان
Nao Hirokawa, Aart Middeldorp,