Сортировать по:
| Выпуск | Название | |
| Том 31, № 5 (2019) | Разработка языка: OOP or not OOP or better OOP | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич Недоря | ||
| "... our point of view, the right choice of OOP features. In the current work, we do not consider COP ..." | ||
| Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
| "... programming paradigms, namely: object-oriented programming (OOP) and constraint logic programming (CLP ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... We introduce possibly the first approximation of programming language metrics that represent ..." | ||
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Канатов, Е. А. Зуев | ||
| "... The paper gives a brief overview of existing approaches to inheritance in programming languages ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... Domain-specific languages power numerous modern applications and libraries, including ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... Visual domain-specific languages usually have low entry barrier. Sometimes even children can ..." | ||
| Том 31, № 3 (2019) | Обзор языков для безопасного программирования смарт-контрактов | Аннотация похожие документы |
| Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун | ||
| "... languages. In this paper, we provide an overview of smart contract programming languages design principles ..." | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич НЕДОРЯ | ||
| "... the criteria for choosing a programming language for practical work as a target language, gives a brief ..." | ||
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
| Ю. В. Белякова | ||
| "... It is generally considered that object-oriented (OO) languages provide weaker support for generic ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... the idea of generative programming, when the expressive power of high-level C++ language is used to compose ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... The paper presents an approach to specify constraints on AADL models in Python-based language ..." | ||
| Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
| "... not only for low-level applications, but other cases as well. The dichotomy between low-level languages ..." | ||
| Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| "... адаптируемых кросс-систем автоматизации программирования и тестирования для различных типов сложных комплексов ..." | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| "... . To describe these programs, a compact ML-like language (a subset of OCaml) is used, equipped with a Hindley ..." | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| "... процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... The paper deals with detection of defects in a program code written in dynamic languages. At first ..." | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
| В. Н. Игнатьев | ||
| "... We describe the usage of programming language constraints to achieve program security ..." | ||
| Том 37, № 1 (2025) | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... languages (C, C++, Java, Python, Go). During its development, an analysis of all automatically detectable ..." | ||
| Том 22 (2012) | Использование стандарта OpenCL для программирования ПЛИС | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Меркулов, Владимир Платонов | ||
| "... description language or generated automatically using one of the known translators, e.g. C-to-Verilog ..." | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| "... . Although scientific research aim for soundness of type systems, many of languages intentionally make ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... of applications. Unlike, for example, Halide, we do not use a domain-specific language, and the necessary ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... program, the technique of instrumentation code in language C ++. The article gives examples of algorithms ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... the information about code fragments as a set of contexts. Another important feature of the model is language ..." | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
| И. С. Раткевич | ||
| "... This report deals with the construction of the language service for extended support of the Fortran ..." | ||
| Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
| Ю. В. Белякова, С. С. Михалкович | ||
| "... In comparison with Haskell type classes and C++ concepts, such object-oriented languages as C ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Framework – an aspect-oriented programming implementation for the C programming language. The latter allowed ..." | ||
| Том 37, № 4 (2025): Часть 1 | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... for checking performance coding rules of Huawei and evaluate whether manually fixing found issues in accordance ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... to use natural languages for queries and perform matching on the basis of a formal program representation ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... in various industrial areas and specified using popular general-purpose object-oriented languages ..." | ||
| Том 35, № 3 (2023) | Математическое моделирование и программное обеспечение для расчета режимов очистки гальванических стоков от тяжелых и цветных металлов в аппаратах с проточными трехмерными электродами | Аннотация похожие документы |
| Валентина Владимировна КУЗИНА, Валерий Константинович ВАРЕНЦОВ, Александр Николаевич КОШЕВ, Глеб Михайлович КУПРИЯНКО | ||
| "... of programs developed in the programming language Object Pascal for computational experiments according ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| "... of verification tools we chose an automated verifier for the Eiffel programming language, AutoProof, and a well ..." | ||
| Том 24 (2013) | Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян, Н. Е. Андреев | ||
| "... Most of developed tools for analysis for various libraries (MPI, OpenMP) and languages for parallel ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..." | ||
| Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
| Игорь Андреевич ПАРФЕНОВ | ||
| "... We present a straightforward implementation of a simplified imperative programming language ..." | ||
| Том 37, № 4 (2025): Часть 1 | Извлечение функциональности из бинарного кода | Аннотация похожие документы |
| Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... программирования. Целью данной работы является изучение метода автоматизации семантического анализа бинарного кода ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... the property of fast extensibility to support different programming languages. The method of transformation ..." | ||
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| "... architecture analysis methods, hardening techniques, and safe programming languages. ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... of an open-source partitioned operating system POK. We implement the model in Promela language for SPIN tool ..." | ||
| 1 - 40 из 323 результатов | 1 2 3 4 5 6 7 8 9 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
