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

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

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

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

4.     Rosu G. K rewrite-based executable semantic framework, ICSE'11, 2011. Available at: http://www.kframework.org, accessed: 27.11.2014.

5.     Ellison C., Rosu G. An executable formal semantics of C with applications, POPL'12, ACM. Available at: http://fsl.cs.illinois.edu/pubs/ellison-rosu-2012-popl.pdf, accessed: 27.11.2014.