From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <altcomm@list.ru>
Message-ID: <415A8DA6.5090209@list.ru>
Date: Wed, 29 Sep 2004 14:25:42 +0400
From: Jury Levykin <altcomm@list.ru>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; ru-RU; rv:1.6) Gecko/20040310
X-Accept-Language: ru-ru, ru
MIME-Version: 1.0
To: community@altlinux.ru
Content-Type: text/plain; charset=KOI8-R; format=flowed
Content-Transfer-Encoding: 8bit
X-Spam: Not detected
Subject: [Comm] =?koi8-r?b?89TBzsTB0tTZIM7BIHlhY2MgySBnY2M=?=
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: Wed, 29 Sep 2004 10:25:46 -0000
Archived-At: <http://lore.altlinux.org/community/415A8DA6.5090209@list.ru/>
List-Archive: <http://lore.altlinux.org/community/>
List-Post: <mailto:mandrake-russian@linuxteam.iplabs.ru>

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

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

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