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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of Information and Organizational Sciences Ročník 40; číslo 2; s. 203 - 219
Hlavní autoři:	Steingartner, William, Novitzká, Valerie
Médium:	Journal Article Paper
Jazyk:	angličtina
Vydáno:	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
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!