Сортировать по:
Выпуск | Название | |
Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
Ю. В. Белякова | ||
"... It is generally considered that object-oriented (OO) languages provide weaker support for generic ..." | ||
Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
Ю. В. Белякова, С. С. Михалкович | ||
"... pitfalls of C# generics are considered in this paper. Extending C# language with concepts which can ..." | ||
Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... analysis of several programming languages. The proposed analysis scheme consists of saving an intermediate ..." | ||
Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
Тимур Расимович ФАЙЗРАХМАНОВ | ||
"... We introduce possibly the first approximation of programming language metrics that represent ..." | ||
Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
Г. В. Киргизов, Я. А. Кириленко | ||
"... the idea of generative programming, when the expressive power of high-level C++ language is used to compose ..." | ||
Том 31, № 5 (2019) | Разработка языка: OOP or not OOP or better OOP | Аннотация PDF (Rus) похожие документы |
Алексей Евгеньевич Недоря | ||
"... devices the company is working on a new programming language. The principal feature of the new language ..." | ||
Том 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 ..." | ||
Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин, А. В. Хорошилов | ||
"... The paper presents an approach to specify constraints on AADL models in Python-based language ..." | ||
Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
"... процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся ..." | ||
Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
"... Many modern RDBMS provide procedural extensions for SQL programming language, which allow users ..." | ||
Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
Виктор Сергеевич КРЫШТАПОВИЧ | ||
"... . Although scientific research aim for soundness of type systems, many of languages intentionally make ..." | ||
Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
"... not only for low-level applications, but other cases as well. The dichotomy between low-level languages ..." | ||
Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
М. С. Малеванный, С. С. Михалкович | ||
"... the information about code fragments as a set of contexts. Another important feature of the model is language ..." | ||
Том 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 ..." | ||
Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
П. А. Лозов, Д. Ю. Булычев | ||
"... . To describe these programs, a compact ML-like language (a subset of OCaml) is used, equipped with a Hindley ..." | ||
Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
"... of declarative data modeling languages is proposed and discussed. ..." | ||
Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... program, the technique of instrumentation code in language C ++. The article gives examples of algorithms ..." | ||
Том 22 (2012) | Использование стандарта OpenCL для программирования ПЛИС | Аннотация PDF (Rus) похожие документы |
Андрей Белеванцев, Алексей Меркулов, Владимир Платонов | ||
"... description language or generated automatically using one of the known translators, e.g. C-to-Verilog ..." | ||
Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
"... of applications. Unlike, for example, Halide, we do not use a domain-specific language, and the necessary ..." | ||
Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... Framework – an aspect-oriented programming implementation for the C programming language. The latter allowed ..." | ||
Том 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 ..." | ||
Том 35, № 3 (2023) | Математическое моделирование и программное обеспечение для расчета режимов очистки гальванических стоков от тяжелых и цветных металлов в аппаратах с проточными трехмерными электродами | Аннотация похожие документы |
Валентина Владимировна КУЗИНА, Валерий Константинович ВАРЕНЦОВ, Александр Николаевич КОШЕВ, Глеб Михайлович КУПРИЯНКО | ||
"... of programs developed in the programming language Object Pascal for computational experiments according ..." | ||
Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
А. Д. Татарников | ||
"... effort. Test program templates are developed in special domain-specific languages. These languages must ..." | ||
Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
"... The language FlexT (Flexible Types) is intended for specification of binary data formats ..." | ||
Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
"... architecture analysis methods, hardening techniques, and safe programming languages. ..." | ||
Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков, А. В. Хорошилов | ||
"... to use natural languages for queries and perform matching on the basis of a formal program representation ..." | ||
Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
В. В. Липаев | ||
"... адаптируемых кросс-систем автоматизации программирования и тестирования для различных типов сложных комплексов ..." | ||
Том 36, № 2 (2024) | Проектирование системы визуализации данных, основанной на языково-ориентированном подходе | Аннотация похожие документы |
Анна Даниеловна ДЖЕЙРАНЯН, Иван Денисович ЕРМАКОВ, Кирилл Александрович ПРОСКУРЯКОВ, Людмила Николаевна ЛЯДОВА | ||
"... The data visualization method based on a language-oriented approach is proposed. An analysis ..." | ||
Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
"... in various industrial areas and specified using popular general-purpose object-oriented languages ..." | ||
Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
Игорь Андреевич ПАРФЕНОВ | ||
"... We present a straightforward implementation of a simplified imperative programming language ..." | ||
Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
"... programs is considered. A functional dataflow parallel programming language is used. It supports writing ..." | ||
Том 35, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) похожие документы |
Заяна Игоревна ЧУШКАЕВА | ||
"... The Mongolian languages are a language family that includes several closely related languages ..." | ||
1 - 39 из 392 результатов | 1 2 3 4 5 6 7 8 9 10 11 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)