Categorical Model of Structural Operational Semantics for Imperative Language

Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of el...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of Information and Organizational Sciences Jg. 40; H. 2; S. 203 - 219
Hauptverfasser:	Steingartner, William, Novitzká, Valerie
Format:	Journal Article Paper
Sprache:	Englisch
Veröffentlicht:	Varazdin Faculty of organization and informatics, University of Zagreb 01.01.2016 Fakultet organizacije i informatike, Sveučilište u Zagrebu Sveuciliste u Zagrebu, Fakultet Organizacije i Informatike Fakultet organizacije i informatike Sveučilišta u Zagrebu University of Zagreb, Faculty of organization and informatics
Schlagworte:	Categories category theory Computational linguistics Dynamics Education ICT Information and Communications Technologies Imperative programming Mathematical models morphism Programming languages semantic function Semantics Software engineering state structural operational semantics Syntax Visualization category theory state morphism semantic function structural operational semantics
ISSN:	1846-3312, 1846-9418
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!