Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 34, № 4 (2022) Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики Аннотация  похожие документы
Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ
"... Source code static analysis is widely used for program errors detection. Mostly it is used ..."
 
Том 33, № 6 (2021) Kotlin с точки зрения разработчика статического анализатора Аннотация  PDF (Rus)  похожие документы
Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ
"... The paper describes a static analysis for finding defects and computing metrics for programs ..."
 
Том 34, № 4 (2022) Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа Аннотация  PDF (Rus)  похожие документы
Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ
"... The paper describes static analysis algorithms aimed at finding three types of errors related ..."
 
Том 33, № 6 (2021) Автоматическое исправление дефектов кода в системе Svace Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович СЫРОМЯТНИКОВ
 
1 - 4 из 4 результатов

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

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