Skip to content

Author

I. Anureev

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Sep 2026

Executable Operational Semantics of Reflex Language

This paper discusses the construction of a formal executable operational semantics for Reflex, a process-oriented programming language designed for embedded and distributed microcontroller systems. The work is motivated by the need to improve the reliability of software in such systems, and also by the fact that earlie...

Artyom D. Ishchenko, I. Anureev · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.