From: Michael Shigorin <mike@osdn.org.ua>
To: community@altlinux.ru
Subject: [Comm] Re: Стандарты на yacc и gcc
Date: Sat, 2 Oct 2004 00:33:02 +0300
Message-ID: <20041001213302.GT27950@osdn.org.ua> (raw)
In-Reply-To: <415A8DA6.5090209@list.ru>
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/
next prev parent reply other threads:[~2004-10-01 21:33 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-29 10:25 [Comm] " Jury Levykin
2004-09-29 10:38 ` Беляев Владимир Николаевич
2004-09-29 11:17 ` Jury Levykin
2004-09-29 12:33 ` BSW
2004-09-29 12:49 ` Jury Levykin
2004-10-01 21:33 ` Michael Shigorin [this message]
2004-10-03 15:33 ` 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=20041001213302.GT27950@osdn.org.ua \
--to=mike@osdn.org.ua \
--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