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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of Information and Organizational Sciences Ročník 40; číslo 2; s. 203 - 219
Hlavní autori: Steingartner, William, Novitzká, Valerie
Médium: Journal Article Paper
Jazyk:English
Vydavateľské údaje: 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
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
170413
ISSN:1846-3312
1846-9418
DOI:10.31341/jios.40.2.3