Journals
Books
Articles by keyword типизация
The use of basic functional complex for mobile electronic means with large antenna systems hardware and software testing
V.I. Kim, M.A. Sorokin, I.V. Fokin
Combined system for logical inference and dynamic verification of software component specifications

P.A. Shapkin1, A.N. Inozemtsev2

1–2 National Research Nuclear University MEPhI (Moscow, Russia)

1 pashapkin@mephi.ru, 2 inozemtsev.alex@outlook.com

A natural language search system for specified software components

P.A. Shapkin1, A.D. Sidorov2

1,2 National Research Nuclear University MEPhI (Moscow, Russia)

1pashapkin@mephi.ru, 2adsidoroff@gmail.com

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