[Comm] Re: Стандарты на yacc и gcc

[Michael Shigorin]

On Wed, Sep 29, 2004 at 02:25:42PM +0400, Jury Levykin wrote:
> Нужно обосновать корректность того, что компиляторы генерят код
> адекватный математическим выражениям которые они интерпретируют
> и вычисляют.

Только тесты.  "Обосновать" в смысле "доказать", боюсь,
сложновато в случае yacc, близко к невозможному для gcc
(и любого современного оптимизирующего компилятора)
и практически невозможно для java.

JM.02

-- 
 ---- WBR, Michael Shigorin <mike at altlinux.ru>
  ------ Linux.Kiev http://www.linux.kiev.ua/