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

[dm]

Здравствуйте, Jury Levykin!

Среда 29 Сентябрь 2004 14:25, Вы писали:

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

А зачем? Как насчёт обосновать корректность того, что процессор 
корректно вычисляет математические выражения, входящие в код программы, 
сгенерированной компилятором? (Намёк: вспомните историю с ошибкой в 
Pentium I).

А как насчёт обосновать коректность того, что код, который Вы подсунули 
компилятору, адекватен моделируемым аспектам природных процессов, 
которые он обсчитывает?

Если Вам нужно формальное доказательство, то оно невозможно по чисто 
практическим соображениям: никто не будет этим заниматься, потому что 
за исторически разумный срок этого не сделать, да и не надо это никому.

А так --- тестируйте. И ещё: про yacc и gcc ничего не скажу, но, 
насколько помню, арифметическая система java стандартизована. Только 
вот гарантии правильности реализации всё равно никто не даст.

-- 
-------------------------------------
dm <deadmustdie at pisem point net>