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

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

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

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Обобщённый метод обнаружения оптимизационно-нестабильного поведения в коде на языке C

Молодежный научно-технический вестник # 12, декабрь 2014
УДК: 004.432.2
Файл статьи: Красиков А.С..pdf (169.25Кб)
автор: Красиков А. С.

1.   Internation Standard Organization C Standard 1999 / ISO, ISO/IEC 9899:1999 draft. WG14 ed., 1999. Available at: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1124.pdf , accessed: 27.11.2014.

2.   Ellison, C. Defining the undefinedness of C. University of Illinois, 2012. Available at:  http://hdl.handle.net/2142/30780 , accessed: 27.11.2014.

3.   Xi Wang, Zeldovich N., Frans Kaashoek M., Armando Solar-Lezama Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior. MIT CSAIL, 2013. Available at: http://dl.acm.org/citation.cfm?doid=2517349.2522728, accessed: 27.11.2014.

4.    Will Dietz, Peng Li,  Regehr J., Vikram Adve Understanding Integer Overflow in C/C++. 34th International Conference on Software Engineering (ICSE), proceedings: Zurich, Switzerland, June 2-9, 2012, P. 760-770.


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



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