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

Full description

Saved in:

Bibliographic Details
Published in:	Journal of Information and Organizational Sciences Vol. 40; no. 2; pp. 203 - 219
Main Authors:	Steingartner, William, Novitzká, Valerie
Format:	Journal Article Paper
Language:	English
Published:	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
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!