Categorical Model of Structural Operational Semantics for Imperative Language
Journal Title: Journal of Information and Organizational Sciences - Year 2016, Vol 40, Issue 2
Abstract
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 elementary steps of program. This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes. In our paper we present a new approach to structural operational semantics. We model behavior of programs in category of states, where objects are states, an abstraction of computer memory and morphisms model state changes, execution of a program in elementary steps. The advantage of using categorical model is its exact mathematical structure with many useful proved properties and its graphical illustration of program behavior as a path, i.e. a composition of morphisms. Our approach is able to accentuate dynamics of structural operational semantics. For simplicity, we assume that data are intuitively typed. Visualization and facility of our model is not only a new model of structural operational semantics of imperative programming languages but it can also serve for education purposes.
Authors and Affiliations
William Steingartner, Valerie Novitzká
Keywords
Related Articles
- EP ID EP404330
- DOI 10.31341/jios.40.2.3
- Views 94
- Downloads 0
Analysis of Methods and Techniques for Prediction of Natural Gas Consumption: A Literature Review
Due to its many advantages, demand for natural gas has increased considerably and many models for predicting natural gas consumption are developed. The aim of this paper is to present an overview and systematic analysis...
Individual Entrepreneurial Behavior in Croatian IT Firms: The Contribution of Strategic Thinking Skills
This article addresses the contribution of strategic thinking skills in explaining individual entrepreneurial behavior in Croatian IT firms. Strategic thinking skills were assessed according to entrepreneurs’ use of syst...
The Scope of the Concept of Information and the Future of Information Science
The key concept of information science is the concept of information which is tied to a number of complications. The main problem is that there is no definition of this concept. The purpose of this article is an analysis...
Performance Journey Mapping: Insights from a Methodological Triangulation
This paper presents the results of an evaluation of the Performance Journey Mapping (PJM) framework. PJM is a service performance assessment concept with accompanying tools tailored to the specific performance measuremen...
A Guidance Based Approach for Enhancing the e-Government Interoperability
Developing e-Government interoperability in the government context is a complex task. As interoperability in government context is associated and hindered by many challenges and barriers connected to government nature of...