Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... В статье описывается поиск недостижимого кода в исходном коде программ, написанных на языках ..."
 
Том 37, № 6: часть 1. ноябрь-декабрь Повышение точности статического анализа кода при помощи больших языковых моделей Аннотация  PDF (Rus)  похожие документы
Данила Дмитриевич ПАНОВ, Никита Владимирович ШИМЧИК, Дмитрий Александрович ЧИБИСОВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... и целочисленного переполнения. Для детектора недостижимого кода применение информации из статического анализатора ..."
 
Том 34, № 6 (2022) Статический анализатор для языков с обработкой исключений Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН
"... для поиска недостижимого кода, связанного с исключениями; приведена общая схема для статического ..."
 
Том 34, № 6 (2022) Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... улучшить качество некоторых анализаторов, таких как UNREACHABLE_CODE (улучшение на 7.57%) или DEREF ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... пользовательских приложений. Примерами таких систем являются Tizen OS и Firefox OS. С ростом популярности языка ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... оптимизации, который использует инфраструктуру LLVM для генерации машинного кода. Это позволяет применять ..."
 
1 - 6 из 6 результатов

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

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