Исправление Manhunt, (текущая версия) :
Нет, не видел. Спасибо за ссылку, очень любопытно. Прогресс впечатляет, но...
http://robbertkrebbers.nl/research/thesis.pdf
Since the C11 standard is written in English instead of a mathematically precise formalism, it is impossible to obtain an exact correspondence between CH2O and the standard text. Even worse, as we will show in Chapter 2, we have found conflicts in the standard text that would make a mathematical formalization inconsistent.
Эта формальная спецификация — всего лишь фантазия её авторов, путь и основанная на неформальном понимании авторами неформального англоязычного текста Стандарта. Вот ржачный фрагмент: «We have carefully studied the standard text, defect reports, and the behaviors of widely used C compilers. The formal definitions in this thesis are motivated by references to the standard text, and by contemplating example program. .... We have tested ... on a small test suit» Она почти наверняка содержит огромную массу несоответствий Стандарту (внесенную благодаря человеческому фактору на этапе чтения и трактования Стандарта). Поэтому быть спецификацией семантики языка Си она не может.
Собственно, из нынешней патовой ситуации есть только один выход: чтобы долбаный Си получил формальную семантику, Коммитет должен одну из формальных семантик попросту взять и утвердить, возвести её в ранг закона и стандарта ISO.
Исходная версия Manhunt, :
Нет, не видел. Спасибо за ссылку, очень любопытно. Прогресс впечатляет, но...
http://robbertkrebbers.nl/research/thesis.pdf
Since the C11 standard is written in English instead of a mathematically precise formalism, it is impossible to obtain an exact correspondence between CH2O and the standard text. Even worse, as we will show in Chapter 2, we have found conflicts in the standard text that would make a mathematical formalization inconsistent.
Эта формальная спецификация — всего лишь фантазия её авторов, путь и основанная на неформальном понимании авторами неформального англоязычного текста Стандарта. Вот ржачный фрагмент: «We have carefully studied the standard text, defect reports, and the behaviors of widely used C compilers. The formal definitions in this thesis are motivated by references to the standard text, and by contemplating example program». Она почти наверняка содержит огромную массу несоответствий Стандарту (внесенную благодаря человеческому фактору на этапе чтения и трактования Стандарта). Поэтому быть спецификацией семантики языка Си она не может.
Собственно, из нынешней патовой ситуации есть только один выход: чтобы долбаный Си получил формальную семантику, Коммитет должен одну из формальных семантик попросту взять и утвердить, возвести её в ранг закона и стандарта ISO.