Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл No. ФС77-51038. ISSN 2307-0609

Методы и перспективы статического анализа программного кода

Молодежный научно-технический вестник # 12, декабрь 2015
УДК: 004.42
Файл статьи: Лебедев В.И..pdf (197.65Кб)
автор: Лебедев В. И.

1.        Ахо А. Компиляторы: принципы, технологии и инструменты.  М.: Издательский дом «Вильямc», 2003. 421 c.

2.        Грис Д. Конструирование компиляторов для цифровых вычислительных машин.  М.: Издательство «Мир», 1975. 295 c.

3.        Карпов А.Н. 20 ловушек переноса С++-кода на 64-битную платформу  // RSDN-Magazine. 2007.  № 1. C. 67-75.

4.        Карпов А.Н. Статический анализатор PVS-Studio и его аналоги  // IT-Tech. 2013.  № 6. C. 43-58.

5.        Макконнелл С. Совершенный код.   СПб.: Питер, 2007. 252 c.

6.        Рыжков Е.А. Подходы к верификации и тестированию 64-битных приложений // Информационные технологии.  2008.  № 7. C. 154-162.

7.        Себеста Р. Основные концепции языков программирования. М.: Издательский дом «Вильямc», 2001. 370 c.

8.        Ларус Д., Болл Т., Дас М. О Безошибочных программах // Открытые системы. 2007.  №8. C. 120-128.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2017 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98