From: BSW <bsw71@mail.ru>
To: community@altlinux.ru
Subject: Re: [Comm] Стандарты на yacc и gcc
Date: Wed, 29 Sep 2004 18:33:20 +0600
Message-ID: <415AAB90.1080909@mail.ru> (raw)
In-Reply-To: <415A99E2.3030303@list.ru>
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: Надеюсь, я не слишком разошелся?
next prev parent reply other threads:[~2004-09-29 12:33 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-29 10:25 Jury Levykin
2004-09-29 10:38 ` Беляев Владимир Николаевич
2004-09-29 11:17 ` Jury Levykin
2004-09-29 12:33 ` BSW [this message]
2004-09-29 12:49 ` Jury Levykin
2004-10-01 21:33 ` [Comm] " Michael Shigorin
2004-10-03 15:33 ` [Comm] " dm
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=415AAB90.1080909@mail.ru \
--to=bsw71@mail.ru \
--cc=community@altlinux.ru \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Community general discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/community/0 community/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 community community/ http://lore.altlinux.org/community \
mandrake-russian@linuxteam.iplabs.ru community@lists.altlinux.org community@lists.altlinux.ru community@lists.altlinux.com
public-inbox-index community
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.community
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git