From: dm <dead-mustdie@nm.ru>
To: community@altlinux.ru
Subject: Re: [Comm] Стандарты на yacc и gcc
Date: Sun, 3 Oct 2004 19:33:27 +0400
Message-ID: <200410031933.27455.dead-mustdie@nm.ru> (raw)
In-Reply-To: <415A8DA6.5090209@list.ru>
Здравствуйте, Jury Levykin!
Среда 29 Сентябрь 2004 14:25, Вы писали:
> Я использую yacc, gcc и java
> для разработки моделей природных процессов.
>
> Нужно обосновать корректность того, что компиляторы
> генерят код адекватный математическим выражениям которые
> они интерпретируют и вычисляют.
А зачем? Как насчёт обосновать корректность того, что процессор
корректно вычисляет математические выражения, входящие в код программы,
сгенерированной компилятором? (Намёк: вспомните историю с ошибкой в
Pentium I).
А как насчёт обосновать коректность того, что код, который Вы подсунули
компилятору, адекватен моделируемым аспектам природных процессов,
которые он обсчитывает?
Если Вам нужно формальное доказательство, то оно невозможно по чисто
практическим соображениям: никто не будет этим заниматься, потому что
за исторически разумный срок этого не сделать, да и не надо это никому.
А так --- тестируйте. И ещё: про yacc и gcc ничего не скажу, но,
насколько помню, арифметическая система java стандартизована. Только
вот гарантии правильности реализации всё равно никто не даст.
--
-------------------------------------
dm <deadmustdie at pisem point net>
prev parent reply other threads:[~2004-10-03 15: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
2004-09-29 12:49 ` Jury Levykin
2004-10-01 21:33 ` [Comm] " Michael Shigorin
2004-10-03 15:33 ` dm [this message]
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=200410031933.27455.dead-mustdie@nm.ru \
--to=dead-mustdie@nm.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