کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4961169 1446506 2017 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory
ترجمه فارسی عنوان
بررسی رابطه بین نحو و معناشناسی یک زبان متمرکز بر فرآیند بر اساس نظریه مجموعه
کلمات کلیدی
تئوری رده، معناشناسی، نحو، برنامه ریزی فرآیند گرا اراسموس،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر علوم کامپیوتر (عمومی)
چکیده انگلیسی

:Recent research findings demonstrate that process-oriented programming languages provide a suitable means to develop concurrent systems. In this paper, we propose to use mandatory/optional trace sets to model the semantics of a process-oriented programming language named Erasmus. Inspired by Hoare's view of category theory and obtained research results towards validating the view, category theory is used to explore relationships between syntax and semantics of Erasmus. To illustrate the research activities, several examples are developed. In doing so, it is shown that a relationship between Erasmus commands can lead to a corresponding relationship between semantics for commands.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Procedia Computer Science - Volume 109, 2017, Pages 241-248
نویسندگان
, , ,