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...
| Main Authors: | , |
|---|---|
| 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 |