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

Awareness of Cloud Computing in Slovenian and Croatian Micro-Enterprises

This paper presents a comparison of the two studies conducted in Slovenian and Croatian micro-enterprises (µE) about the awareness of the cloud computing (CC). We were interested in the issues relating to the characteris...

MATT: Multi Agents Testing Tool Based Nets within Nets

Testing is a software development activity, devoted to evaluating product quality and improving it by identifying defects and problems. Concerning multi agent systems, testing is a challenging task, which asks for new te...

Detecting Source Code Plagiarism on .NET Programming Languages using Low-level Representation and Adaptive Local Alignment

Even though there are various source code plagiarism detection approaches, only a few works which are focused on low-level representation for deducting similarity. Most of them are only focused on lexical token sequence...

The Elaboration of Strategic Decisions in the Socio-Economic Systems

The article deals with socio-economic strategic management, which implemented on the basis of Balanced Scorecard, multidimensional modeling and its set-theoretic representation. The main idea of the article is using of m...

Do You Walk the Talk in Quality Culture?

We present an action research project to foster quality culture in business processes. The client setting is in the food industry, a vital sector for our society and one of the most regulated in the world. Food productio...

Download PDF file
  • EP ID EP404330
  • DOI 10.31341/jios.40.2.3
  • Views 88
  • Downloads 0

How To Cite

William Steingartner, Valerie Novitzká (2016). Categorical Model of Structural Operational Semantics for Imperative Language. Journal of Information and Organizational Sciences, 40(2), 203-219. https://europub.co.uk/articles/-A-404330