Information-measuring and Control Systems | Publishing house Radiotekhnika

Multi-platform library for building user interfaces based on functional streams

P.I. Bashtanov¹, P.A. Shapkin²

¹ˑ²National Research Nuclear University MEPhI (Moscow, Russia) ¹pavel@shapkin.link

7-14

Type system for a statically typed concatenative programming language with first class function support

A.M. Dinikeev¹

¹Innopolis University (Innopolis, Russia)

¹a.dinikeev@innopolis.university

15-25

Attempt to systematically construct objects to represent basic mathematical concepts in combinatorial logic

R.V. Dushkin¹

¹OOO "A-Ya ekspert" (Moscow, Russia)

²National Research Nuclear University MEPhI (Moscow, Russia) ¹drv@aia.expert

26-40

Improving stream data processing efficiency in an intelligent educational system

S.R. Ermakov¹, S.V. Zykov²

¹Russian Technological University MIREA (Moscow, Russia)

²National Research University "Higher School of Economics" (Moscow, Russia)

¹ermakov_s@mirea.ru, ²szykov@hse.ru

41-54

Implementation of floating-point arithmetic with adjustable mantissa length in the HomeLisp system

B.L. Faifel¹

¹Yuri Gagarin State Technical University of Saratov (Saratov, Russia)

¹catstail@ya.ru

55-60

Integration of conceptual domain modeling and statistical analysis tools

W.E. Wolfengagen¹, L.Yu. Ismailova², S.V. Kosikov³

¹ˑ²National Research Nuclear University MEPhI (Moscow, Russia)

³LLC "JurInforR" (Moscow, Russia)

¹jir.vew@gmail.com, ²LYIsmailova@mephi.ru, ³kosikov.s.v@gmail.com

61-66

Model and architecture process construction environment with tracing capabilities based on sematic technologies and using a model for object evolution

V.V. Roslovtsev¹, D.R. Maksimov², F.S. Chervakov³, E.E. Balashova⁴, K.G. Belyakov⁵, D.N. Gushchin⁶, S.I. Valiullina⁷, E.D. Kalinkin⁸, R.N. Kuzmin⁹, A.Sh. Sirozhev¹⁰, A.V. Fateev¹¹

¹National Research Nuclear University MEPhI (Moscow, Russia)

¹vvroslovtsev@mephi.ru

67-77

Applicative tools for constructing and executing computations in distributed environments based on Domain-Specific Language (DSL)

V.V. Roslovtsev¹, D.R. Maksimov², F.S. Chervakov³, E.E. Balashova⁴, K.G. Belyakov⁵, D.N. Gushchin⁶, S.I. Valiullina⁷, E.D. Kalinkin⁸, R.N. Kuzmin⁹, A.Sh. Sirozhev¹⁰, A.V. Fateev¹¹

¹⁻¹¹National Research Nuclear University MEPhI (Moscow, Russia) ¹vvroslovtsev@mephi.ru

78-85

Support for polymorphism and object-oriented aspects in the abstract program specification system

P.A. Shapkin¹, K.A. Legkodukh², E.D. Gajduk³

¹⁻³National Research Nuclear University MEPhI (Moscow, Russia)

¹pavel@shapkin.link

86-94

Applicative language for constructing reduction strategies

I.O. Slieptsov¹, V.E. Wolfengagen²

¹LLC "JurInfoR" (Moscow, Russia)

²National Research Nuclear University MEPhI (Moscow, Russia)

¹igor.slieptsov@mail.com