کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
432260 | 688839 | 2015 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We examine several extensions and variants of Plotkin's language PCF, including non-deterministic and probabilistic choice constructs. For each, we give an operational and a denotational semantics, and compare them. In each case, we show soundness and computational adequacy: the two semantics compute the same values at ground types. Beyond this, we establish full abstraction (the observational preorder coincides with the denotational preorder) in a number of cases. In the probabilistic cases, this requires the addition of so-called statistical termination testers to the language.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 1, January 2015, Pages 155–184
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 1, January 2015, Pages 155–184
نویسندگان
Jean Goubault-Larrecq,