کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657846 | 690111 | 2005 | 35 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Functions with local state: Regularity and undecidability
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Functions with local state: Regularity and undecidability Functions with local state: Regularity and undecidability](/preview/png/9657846.png)
چکیده انگلیسی
We study programs of a finitary ML-like language RMLf with ground-type references. RMLf permits the use of functions with locally declared variables that remain private and persist from one use of the function to the next. Using game semantics we show that this leads to undecidability of program equivalence already at second order. We also examine the extent to which this feature can be captured by regular languages. This gives a decidability result for a second-order fragment RMLf- of RMLf, which comprises many examples studied in the literature.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 338, Issues 1â3, 10 June 2005, Pages 315-349
Journal: Theoretical Computer Science - Volume 338, Issues 1â3, 10 June 2005, Pages 315-349
نویسندگان
Andrzej S. Murawski,