کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10329406 | 685392 | 2005 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Proving Modal Properties of Rewrite Theories Using Maude's Metalevel Proving Modal Properties of Rewrite Theories Using Maude's Metalevel](/preview/png/10329406.png)
چکیده انگلیسی
Rewriting logic is a very expressive formalism for the specification of concurrent and distributed systems; more generally, it is a logic of change. In contrast, VLRL is a modal logic built on top of rewriting logic to reason precisely about that change. Here we present a technique to mechanically prove VLRL properties of rewrite theories using the reflective capability of rewriting logic through its Maude implementation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 137, Issue 1, 20 July 2005, Pages 133-150
Journal: Electronic Notes in Theoretical Computer Science - Volume 137, Issue 1, 20 July 2005, Pages 133-150
نویسندگان
Isabel Pita, Miguel Palomino,