کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4952157 | 1442017 | 2017 | 65 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Strict coherence of conditional rewriting modulo axioms
ترجمه فارسی عنوان
همدستی شدید از اصطلاحات مدول بازنویسی شرطی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Conditional rewriting modulo axioms with rich types makes specifications and declarative programs very expressive and succinct and is used in all well-known rule-based languages. However, the current foundations of rewriting modulo axioms have focused for the most part on the unconditional and untyped case. The main purpose of this work is to generalize the foundations of rewriting modulo axioms to the conditional order-sorted case. A related goal is to simplify such foundations. In particular, even in the unconditional case, the notion of strict coherence proposed here makes rewriting modulo axioms simpler and easier to understand. Properties of strictly coherent conditional theories, like operational equi-termination of the âR/B and âR,B relations and general conditions for the conditional Church-Rosser property modulo B are also studied.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 672, 11 April 2017, Pages 1-35
Journal: Theoretical Computer Science - Volume 672, 11 April 2017, Pages 1-35
نویسندگان
José Meseguer,