کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6876048 | 690189 | 2015 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Program equivalence in linear contexts
ترجمه فارسی عنوان
همبستگی برنامه در زمینه های خطی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We propose the notion of linear contextual equivalence to formally characterize such program equivalence, as well as a novel and general approach to studying it in higher-order languages, based on labeled transition systems specifically designed for functional languages. We show that linear contextual equivalence indeed coincides with trace equivalence. We illustrate our technique in both deterministic (a linear version of PCF) and non-deterministic (linear PCF in Moggi's framework) functional languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 585, 20 June 2015, Pages 71-90
Journal: Theoretical Computer Science - Volume 585, 20 June 2015, Pages 71-90
نویسندگان
Yuxin Deng, Yu Zhang,