کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875430 | 1441952 | 2018 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Nominal essential intersection types
ترجمه فارسی عنوان
انواع تقاطع ضروری اسمی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نحو اسمی بازنویسی اسمی الزام آور، انواع تقاطع ضروری کاهش موضوع،
ترجمه چکیده
سیستم های اسمی یک رویکرد جایگزین برای درمان متغیرها در سیستم های محاسباتی هستند، در حالیکه نحوۀ ترتیب اول به منظور ارائه پشتیبانی برای مشخص کردن اپراتورهای اتصال، تعمیم داده می شود. در این کار یک سیستم نوع تقاطع برای شرایط اسمی ارائه شده است. نشان داده شده است که مالکیت کاهش موضوع برای یک مفهوم خاص از بازنویسی نامی تایپ شده نگه داشته شده است، در نتیجه اطمینان از حفظ انواع تحت اجرای محاسباتی.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Nominal systems are an alternative approach for the treatment of variables in computational systems, where first-order syntax is generalised to provide support for the specification of binding operators. In this work, an intersection type system is presented for nominal terms. The subject reduction property is shown to hold for a specialised notion of typed nominal rewriting, thus ensuring preservation of types under computational execution.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 737, 15 August 2018, Pages 62-80
Journal: Theoretical Computer Science - Volume 737, 15 August 2018, Pages 62-80
نویسندگان
MaurÃcio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha-Oliveira, Daniel Lima Ventura,