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

Файл статьи: Красиков А.С..pdf (305.15Кб)

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 24.05.2015.

2.    Cytron, Ferrante, Rosen, Wegman, Zadeck Efficiently Computing Static Single Assignment Form and the Control Dependence Graph // ACM Transactions on Programming Languages and Systems. 1991. № 13(4).  P. 451-490 .

3.   Sreedhar V. C., Gao G. R. Computing φ-nodes in linear time using DJ graphs // Journal of Programming Languages. 1996. № 13(4). P. 191-213.

4.   Wang X., Zeldovich N., Kaashoek M. F., Solar-Lezama A. 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 24.05.2015.

5.    Красиков А.С. Обобщённый метод обнаружения оптимизационно-нестабильного поведения в коде на языке C // Молодежный научно-технический вестник. МГТУ им. Н.Э. Баумана. Электрон. журн. 2014. № 12. Режим доступа: http://sntbul.bmstu.ru/doc/746939.html ( дата обращения 24.05.2015).