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

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

[Jury Levykin]

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

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

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

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

[Беляев Владимир Николаевич]

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

По-моему, вопрос совершенно некорректный - просто набор слов.

-- 
E-mail: w_n_b@mail.ru
ICQ: 119181289

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

[Jury Levykin]

Беляев Владимир Николаевич пишет:

>JL> Нужно обосновать корректность того, что компиляторы
>JL> генерят код адекватный математическим выражениям которые
>JL> они интерпретируют и вычисляют.
>
>По-моему, вопрос совершенно некорректный - просто набор слов.
>  
>
А я думаю, что не зная ответа можно помолчать.

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

[BSW]

Jury Levykin wrote:
> А я думаю, что не зная ответа можно помолчать.
Можно помолчать, а можно и вопрос нормально задать.
Итак, вернемся к (весьма!) оригинальной фразе:
"Нужно обосновать корректность того, что компиляторы
генерят код адекватный математическим выражениям которые
они интерпретируют и вычисляют."

Смысл вопроса не изменится если его сформулировать иначе:
"На каком основании является корректным тот факт, что компиляторы
генерят код адекватный математическим выражениям которые
они интерпретируют и вычисляют?" Кто ему дал право быть корректным? :-)

Я не знаю кого/чего компиляторы интерпретируют, но то, что они вычисляют 
и есть, в конце концов, объектный код. Так что код, сгенеренный 
компилятором, всегда адекватен его, компилятора, вычислениям.

А теперь немного по делу.
Стандартов, тем более ГОСТ-ов, на GNU-компиляторы нет, и быть не может, 
разве что внутренние документы gnu.org. Есть стандарты на компиляторы с 
конкретных языков.

http://home.att.net/~jackklein/c/standards.html
http://www.bytecraft.com/cresources.html
http://www.ncits.org/cplusplus.htm
http://www.bytecraft.com/ansic.html
http://www.gotw.ca/iso/
http://www.hal9k.com/cug/links/subject143.htm
О практической ценности приведенных ссылок ничего не скажу, я не вчитывался.

PS: Надеюсь, я не слишком разошелся?

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

[Jury Levykin]

BSW пишет:

> PS: Надеюсь, я не слишком разошелся?

Спасибо, все по существу.

"интерпретируют и вычисляют" - я имел в виду то,
что YACC используется для генерации Си кода, который
после компиляции на Си интерпретирует математические выражения.

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

[Michael Shigorin]

On Wed, Sep 29, 2004 at 02:25:42PM +0400, Jury Levykin wrote:
> Нужно обосновать корректность того, что компиляторы генерят код
> адекватный математическим выражениям которые они интерпретируют
> и вычисляют.

Только тесты.  "Обосновать" в смысле "доказать", боюсь,
сложновато в случае yacc, близко к невозможному для gcc
(и любого современного оптимизирующего компилятора)
и практически невозможно для java.

JM.02

-- 
 ---- WBR, Michael Shigorin <mike@altlinux.ru>
  ------ Linux.Kiev http://www.linux.kiev.ua/

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

[dm]

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

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

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

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

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

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

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

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