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á bibliografia

Vydané v:	Procedia computer science Ročník 109; s. 241 - 248
Hlavní autori:	Zhu, Ming, Grogono, Peter, Ormandjieva, Olga
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 2017
Predmet:	Category theory Erasmus Process-oriented programming Semantics Syntax Process-oriented programming Syntax Semantics Category theory Erasmus
ISSN:	1877-0509, 1877-0509
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!