From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mike@fly.osdn.org.ua>
Date: Sat, 2 Oct 2004 00:33:02 +0300
From: Michael Shigorin <mike@osdn.org.ua>
To: community@altlinux.ru
Message-ID: <20041001213302.GT27950@osdn.org.ua>
Mail-Followup-To: community@altlinux.ru
References: <415A8DA6.5090209@list.ru>
Mime-Version: 1.0
Content-Type: text/plain; charset=koi8-r
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <415A8DA6.5090209@list.ru>
User-Agent: Mutt/1.4.2.1i
Subject: [Comm] Re: =?koi8-r?b?89TBzsTB0tTZIM7BIHlhY2MgyQ==?= gcc
X-BeenThere: community@altlinux.ru
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: community@altlinux.ru
List-Id: Mailing list for ALT Linux users <community.altlinux.ru>
List-Unsubscribe: <https://lists.altlinux.ru/mailman/listinfo/community>,
	<mailto:community-request@altlinux.ru?subject=unsubscribe>
List-Archive: <http://lists.altlinux.ru/pipermail/community>
List-Post: <mailto:community@altlinux.ru>
List-Help: <mailto:community-request@altlinux.ru?subject=help>
List-Subscribe: <https://lists.altlinux.ru/mailman/listinfo/community>,
	<mailto:community-request@altlinux.ru?subject=subscribe>
X-List-Received-Date: Fri, 01 Oct 2004 21:33:03 -0000
Archived-At: <http://lore.altlinux.org/community/20041001213302.GT27950@osdn.org.ua/>
List-Archive: <http://lore.altlinux.org/community/>
List-Post: <mailto:mandrake-russian@linuxteam.iplabs.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/