Сортировать по:
| Выпуск | Название | |
| Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
| Ю. В. Белякова | ||
| "... поддержку обобщённого программирования (ОП) по сравнению с такими функциональными языками как Haskell или ..." | ||
| Том 27, № 3 (2015) | Проблемы обобщений C# и способы их решения с помощью концептов | Аннотация PDF (Rus) похожие документы |
| Ю. В. Белякова, С. С. Михалкович | ||
| "... C# и Java предоставляют значительно менее выразительные механизмы обобщённого программирования на основе ..." | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... ), подходящее для статического анализа нескольких языков программирования. Предлагаемая схема анализа состоит ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... Мы представляем, возможно, первое приближение метрик языков программирования, которые представляют ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... программирования, когда выразительная мощь высокоуровневого языка используется для многоступенчатой генерации ..." | ||
| Том 31, № 5 (2019) | Разработка языка: OOP or not OOP or better OOP | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич Недоря | ||
| "... компания работает над новым языком программирования. В статье рассматривается подход к реализации OOP ..." | ||
| Том 27, № 6 (2015) | Концепция наследования в современных языках программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Канатов, Е. А. Зуев | ||
| "... программирования. Исследуются достоинства и недостатки механизмов наследования в таких языках, как С++, Java ..." | ||
| Том 36, № 2 (2024) | TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт | Аннотация похожие документы |
| Артём Дмитриевич БЕЛОУСОВ | ||
| "... разработке TQL (Talisman Query Language) – предметно-ориентированного языка, используемого в платформе ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... на визуальных языках. Данная работа описывает новый потоковый визуальный язык программирования роботов для ..." | ||
| Том 31, № 3 (2019) | Обзор языков для безопасного программирования смарт-контрактов | Аннотация похожие документы |
| Алексей Валерьевич Тюрин, Иван Владимирович Тюляндин, Владимир Мальцев, Яков Александрович Кириленко, Даниил Андреевич Березун | ||
| "... анализа кода, модели вычислений и семантики языков программирования смарт-контрактов. В этой работе ..." | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич НЕДОРЯ | ||
| "... рассматриваются критерии выбора языка программирования для выполнения практических работ в качестве целевого ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... на архитектурные модели, в основе которого лежит переиспользование возможностей языка программирования Python ..." | ||
| Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
| Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
| "... процедурной, объектно-ориентированной, функциональной и параллельной парадигм программирования, базирующейся ..." | ||
| Том 37, № 5: сентябрь-октябрь | Проектирование инструмента для рефакторинга объектно-ориентированного кода с использованием расчета метрик | Аннотация похожие документы |
| Артем Олегович КОРЗНИКОВ, Наталья Николаевна ДАЦУН | ||
| "... оценки кода на объектно-ориентированном языке программирования. Для описания изменений кода используются ..." | ||
| Том 38, № 3: часть 1. май-июнь | Автодополнение кода на основе LLM для языка программирования Python | Аннотация PDF (Rus) похожие документы |
| Михаил Валериевич ВОЛКОВ, Александр Сергеевич БОЖНЮК, Дарья Владимировна ВАСИНА, Владимир Анатольевич ВАСИЛЬЕВ, Николай Владимирович ТРОПИН, Максим Борисович НИКИТИН, Дмитрий Владимирович КОЗНОВ | ||
| "... developer productivity by suggesting relevant code snippets. Large Language Models (LLMs) are a promising ..." | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| "... Многие современные СУБД предоставляют процедурное расширение декларативного языка программирования ..." | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| "... типизации. Но несмотря на то, что научные исследования направлены на корректность систем типов, многие языки ..." | ||
| Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
| "... системных, так и для прикладных задач) языка программирования. ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... контексты позволяют в рамках одной модели работать с кодом на различных языках, как программирования, так ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Статья посвящена обнаружению дефектов в коде, написанном на динамических языках программирования ..." | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
| В. Н. Игнатьев | ||
| "... введение дополнительных ограничений на язык и стиль программирования. В работе предложен новый метод ..." | ||
| Том 37, № 1: январь-февраль | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... - ПО), написанном на нескольких языках программирования (С, С++, Java, Python, Go). В ходе ее разработки проведен ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Павел Владимирович КОСОВ, Александр Иванович ЛЕГАЛОВ | ||
| "... . Он широко используется в статически типизированных языках объектно-ориентированного программирования за счет ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| Том 30, № 2 (2018) | Преобразование типизированных функций в реляционную форму | Аннотация PDF (Rus) похожие документы |
| П. А. Лозов, Д. Ю. Булычев | ||
| "... Реляционное программирование является подходом, позволяющим исполнять программы в различных ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Статический анализ языка Python с использованием девиртуализации | Аннотация похожие документы |
| Артемий Львович ГАЛУСТОВ, Константин Игоревич ВИХЛЯНЦЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В статье предлагается подход к статическому анализу программ на языке Python на основе ..." | ||
| Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
| "... Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные ..." | ||
| Том 27, № 6 (2015) | Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ | Аннотация PDF (Rus) похожие документы |
| Е. В. Пальчевский, А. Р. Халиков | ||
| "... для написания определенной программы, техника инструментирования кода на языке высокого уровня ..." | ||
| Том 38, № 3: часть 1. май-июнь | Построение графа вызовов для анализа программ | Аннотация похожие документы |
| Артём ФАРТЫГИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА, Виталий Олегович АФАНАСЬЕВ, Артемий Львович ГАЛУСТОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... Статья посвящена задаче построения графа вызовов для программ, написанных на популярных языках ..." | ||
| Том 22 (2012) | Использование стандарта OpenCL для программирования ПЛИС | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Меркулов, Владимир Платонов | ||
| "... В статье предлагается использование стандарта OpenCL для облегчения программирования логических ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Об описании реляционной модели кода | Аннотация похожие документы |
| Дмитрий Евгеньевич ДУЖИНСКИЙ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... Мы описываем подход к систематической разработке моделей кода языков программирования. Наш подход ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... программы на языке C++ в оптимизированную реализацию на Vulkan, включающую автоматически генерацию шейдеров ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| Том 38, № 3: часть 4. май-июнь | Автоматизация портирования Android-приложений в экосистему HarmonyOS NEXT с использованием формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| Иван Александрович МИЛЕНИН, Владимир Михайлович ИЦЫКСОН | ||
| "... альтернативных платформ, ориентированных на собственные языки программирования и инструменты разработки. Компании ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Framework – an aspect-oriented programming implementation for the C programming language. The latter allowed ..." | ||
| Том 35, № 3 (2023) | Математическое моделирование и программное обеспечение для расчета режимов очистки гальванических стоков от тяжелых и цветных металлов в аппаратах с проточными трехмерными электродами | Аннотация похожие документы |
| Валентина Владимировна КУЗИНА, Валерий Константинович ВАРЕНЦОВ, Александр Николаевич КОШЕВ, Глеб Михайлович КУПРИЯНКО | ||
| "... of programs developed in the programming language Object Pascal for computational experiments according ..." | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
| И. С. Раткевич | ||
| "... языка программирования Fortran в интегрированной среде разработки Microsoft Visual Studio. Предлагается ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения ..." | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| "... , которые напоминают определения типов в императивных языках программирования, но являются более гибкими ..." | ||
| Том 37, № 4: часть 2. июль-август | Интеграция подхода к визуализации данных на основе онтологии и визуализации на основе ИИ с использованием Plotly | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Людмила Николаевна ЛЯДОВА | ||
| "... , который автоматизирует генерацию скриптов визуализации данных на основе запросов на естественном языке ..." | ||
| Том 37, № 4: часть 1. июль-август | Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Дмитрий Михайлович МЕЛЬНИК, Рубен Артурович БУЧАЦКИЙ | ||
| "... автоматизированных инструментов, методов адаптации и рефакторинга кода на объектно-ориентированных языках ..." | ||
| Том 38, № 2: март-апрель | Непрерывная наблюдаемость для клиент-серверной IDE: воспроизводимый подход с низкими накладными расходами | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ, Ольга Игоревна БАЧИЩЕ, Илья Александрович КУЗНЕЦОВ, Александр Андреевич ПЛАТОНОВ, Николай Владимирович ТРОПИН, Дарья Владимировна ВАСИНА, Дмитрий Владимирович КОЗНОВ | ||
| "... разработчиком, и стабильность работы в средах динамических языков, таких как Python. В рамках работы была ..." | ||
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| "... architecture analysis methods, hardening techniques, and safe programming languages. ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| "... использовать для запросов естественные языки. В статье предлагается подход к выполнению запросов по исходному ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... языках, таких как EXPRESS, UML/OCL. Основные преимущества языков информационного моделирования (высокая ..." | ||
| Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
| Игорь Андреевич ПАРФЕНОВ | ||
| "... Мы представляем простую реализацию упрощенного императивного языка программирования с прямым ..." | ||
| Том 36, № 2 (2024) | Проектирование системы визуализации данных, основанной на языково-ориентированном подходе | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Иван Денисович ЕРМАКОВ, Кирилл Александрович ПРОСКУРЯКОВ, Людмила Николаевна ЛЯДОВА | ||
| "... настройки формата визуализации данных (пользователи должны иметь навыки программирования). Предлагается ..." | ||
| Том 29, № 5 (2017) | Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ | Аннотация PDF (Rus) похожие документы |
| А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова | ||
| "... и трансформации с использованием языка функционально-потокового параллельного программирования, обеспечивающего ..." | ||
| Том 34, № 1 (2022) | Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем | Аннотация похожие документы |
| Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА | ||
| "... процесса сквозного проектирования цифровых интегральных схем. Представлен метод и язык параллельного ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... Jolie - язык программирования для разработки микросервисов и на текущий момент является динамически ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... сервисы для различных IDEs и языков программирования. Предложен способ трансформации дерева Program ..." | ||
| Том 38, № 3: часть 4. май-июнь | Обзор языковых виртуальных машин и подходов к их тестированию | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... Языковые виртуальные машины (ВМ) обычно используются в инфраструктуре систем программирования для ..." | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин | ||
| "... семафора. Определено множество регулярных языков, моделирующих блокировки и разблокировки при конкретном ..." | ||
| 1 - 53 из 90 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
