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!

Buďte prvý, kto okomentuje tento záznam!