Мир инфо..
1076 читали · 5 лет назад
Полуавтоматические рассуждения о недетерминированности в Cи-выражениях
Стандарт ISO C - официальная спецификация языка C - оставляет многие части семантики языка C неопределенными. В случае неопределённого поведения программа может сделать буквально всё что угодно, (например, может попасть в аварию, или может привести к произвольному результату и побочным эффектам). Поэтому, чтобы установить корректность программы на языке Си, необходимо убедиться, что программа не имеет неопределенного поведения для всех возможных вариантов недетерминированности из-за неустановленного поведения...