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&#...

Full description

Saved in:
Bibliographic Details
Published in:Procedia computer science Vol. 109; pp. 241 - 248
Main Authors: Zhu, Ming, Grogono, Peter, Ormandjieva, Olga
Format: Journal Article
Language:English
Published: Elsevier B.V 2017
Subjects:
Category theory
Erasmus
Process-oriented programming
Semantics
Syntax
Process-oriented programming
Syntax
Semantics
Category theory
Erasmus
ISSN:1877-0509, 1877-0509
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1877-0509
1877-0509
DOI:10.1016/j.procs.2017.05.342