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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Procedia computer science Ročník 109; s. 241 - 248
Hlavní autoři: Zhu, Ming, Grogono, Peter, Ormandjieva, Olga
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 2017
Témata:
Category theory
Erasmus
Process-oriented programming
Semantics
Syntax
Process-oriented programming
Syntax
Semantics
Category theory
Erasmus
ISSN:1877-0509, 1877-0509
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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