کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10328917 | 685224 | 2005 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics](/preview/png/10328917.png)
چکیده انگلیسی
We present a formalism called Addressed Term Rewriting Systems, which can be used to define the operational semantics of programming languages, especially those involving sharing, recursive computations and cyclic data structures. Addressed Term Rewriting Systems are therefore well suited for describing object-based languages, as for instance the family of languages called λOba, involving both functional and object-based features.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 5, 27 May 2005, Pages 57-82
Journal: Electronic Notes in Theoretical Computer Science - Volume 127, Issue 5, 27 May 2005, Pages 57-82
نویسندگان
Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang,