کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
427923 | 686576 | 2011 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This note provides an example that demonstrates that in non-deterministic call-by-need lambda-calculi extended with cyclic let, extensionality as well as applicative bisimulation in general may not be used as criteria for contextual equivalence w.r.t. may- and two different forms of must-convergence. We also outline how the counterexample can be adapted to other calculi.
► Non-deterministic call-by-need lambda-calculi with letrec are not extensional.
► Applicative bisimulation is unsound in such calculi.
► The counterexample can be adapted to other extended pure lambda-calculi.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 111, Issue 14, 31 July 2011, Pages 711–716
Journal: Information Processing Letters - Volume 111, Issue 14, 31 July 2011, Pages 711–716
نویسندگان
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova,