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

Bibliographic Details
Main Authors: William Steingartner, Valerie Novitzká
Format: Article
Language:English
Published: University of Zagreb, Faculty of organization and informatics 2016-12-01
Series:Journal of Information and Organizational Sciences
Subjects:
Online Access:http://jios.foi.hr/index.php/jios/article/view/1012