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

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!