کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422134 685030 2008 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Interaction Nets With Nested Pattern Matching
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Interaction Nets With Nested Pattern Matching
چکیده انگلیسی

Reduction rules in Interaction Nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sophisticated matches. We propose an extension of Interaction Nets which facilitates nested pattern matching on interaction rules. We then define a practical compilation scheme from extended rules to pure interaction rules. We achieve a system that provides convenient ways to express Interaction Net programs without defining auxiliary rules.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 1, 28 March 2008, Pages 79-92