Categorical Model of Structural Operational Semantics for Imperative Language.

Saved in:
Bibliographic Details
Title: Categorical Model of Structural Operational Semantics for Imperative Language.
Authors: Steingartner, William1 william.steingartner@tuke.sk, Novitzká, Valerie1 valerie.novitzka@tuke.sk
Source: Journal of Information & Organizational Sciences. 2016, Vol. 40 Issue 2, p203-219. 17p.
Database: Academic Search Ultimate
Description
ISSN:18463312