Abstract
The paper presents a method of the development of operational semantics for imperative programming languages. It is based on the ontological approach to formal programming language specification implemented by information transition systems and conceptual transition systems. The method is illustrated by a fragment of the C language.
Keywords
DOI
10.31144/bncc.cs.2542-1972.2016.n40.p15-35
File
anureev_bulletin_2016.pdf138.74 KB
Pages
15–35