Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 6: часть 3. ноябрь-декабрь Статический анализ языка Python с использованием девиртуализации Аннотация  похожие документы
Артемий Львович ГАЛУСТОВ, Константин Игоревич ВИХЛЯНЦЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ
"... В статье предлагается подход к статическому анализу программ на языке Python на основе ..."
 
Том 29, № 3 (2017) Анализ программ на языке Java в инструменте Svace Аннотация  PDF (Rus)  похожие документы
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев
"... В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом ..."
 
Том 38, № 3: часть 1. май-июнь Построение графа вызовов для анализа программ Аннотация  похожие документы
Артём ФАРТЫГИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА, Виталий Олегович АФАНАСЬЕВ, Артемий Львович ГАЛУСТОВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... Статья посвящена задаче построения графа вызовов для программ, написанных на популярных языках ..."
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..."
 
Том 35, № 6 (2023) Статический анализ на основе обобщённого абстрактного синтаксического дерева Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... ), подходящее для статического анализа нескольких языков программирования. Предлагаемая схема анализа состоит ..."
 
Том 25 (2013) Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... . Производится обзор статических анализаторов программ на языках Python, Ruby и JavaScript. Показывается, что ..."
 
Том 37, № 1: январь-февраль Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ
"... - ПО), написанном на нескольких языках программирования (С, С++, Java, Python, Go). В ходе ее разработки проведен ..."
 
Том 33, № 3 (2021) Автоматизированная система тестирования инструментов статического анализа кода Аннотация  похожие документы
Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА
"... статического анализа исходного кода программ на языках C, C++ и Python. ..."
 
Том 36, № 4 (2024) Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace Аннотация  похожие документы
Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА
"... рассмотрен статический анализ исходного кода на языке программирования Python. В качестве практического ..."
 
Том 38, № 2: март-апрель Непрерывная наблюдаемость для клиент-серверной IDE: воспроизводимый подход с низкими накладными расходами Аннотация  похожие документы
Владислав Игоревич МИРОШНИКОВ, Ольга Игоревна БАЧИЩЕ, Илья Александрович КУЗНЕЦОВ, Александр Андреевич ПЛАТОНОВ, Николай Владимирович ТРОПИН, Дарья Владимировна ВАСИНА, Дмитрий Владимирович КОЗНОВ
"... разработчиком, и стабильность работы в средах динамических языков, таких как Python. В рамках работы была ..."
 
Том 38, № 1: январь-февраль Автоматизация обработки речевого сигнала: аннотация и акустический анализ гласных в русском языке Аннотация  PDF (Rus)  похожие документы
Оксана Владимировна ГОНЧАРОВА
"... параметров с использованием программного обеспечения на Python. Акустический анализ сочетает статические ..."
 
1 - 11 из 11 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)