[Comm] Стандарты на yacc и gcc

[Jury Levykin]

Я использую yacc, gcc и java
для разработки моделей природных процессов.

Нужно обосновать корректность того, что компиляторы
генерят код адекватный математическим выражениям которые
они интерпретируют и вычисляют.

Подскажите есть стандарты или ГОСТы на GNU компиляторы?
На входящие в ALT Linux в частности?
Где можно почитать о данном вопросе?
Где можно почитать о подобных документах на компиляторы Си и YACC?
Тоже нужно и на Java -- но это, видимо, можно найти только у Sun?