کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875430 1441952 2018 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Nominal essential intersection types
ترجمه فارسی عنوان
انواع تقاطع ضروری اسمی
کلمات کلیدی
نحو اسمی بازنویسی اسمی الزام آور، انواع تقاطع ضروری کاهش موضوع،
ترجمه چکیده
سیستم های اسمی یک رویکرد جایگزین برای درمان متغیرها در سیستم های محاسباتی هستند، در حالیکه نحوۀ ترتیب اول به منظور ارائه پشتیبانی برای مشخص کردن اپراتورهای اتصال، تعمیم داده می شود. در این کار یک سیستم نوع تقاطع برای شرایط اسمی ارائه شده است. نشان داده شده است که مالکیت کاهش موضوع برای یک مفهوم خاص از بازنویسی نامی تایپ شده نگه داشته شده است، در نتیجه اطمینان از حفظ انواع تحت اجرای محاسباتی.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
نویسندگان
, , , ,