Re: procedura tworzenia programďż˝w - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › procedura tworzenia programów › Re: procedura tworzenia programďż˝w

Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!news.glorb.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not
-for-mail
From: Wojciech Muła <w...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: procedura tworzenia programďż˝w
Date: Mon, 20 Feb 2012 03:24:07 -0800 (PST)
Organization: http://groups.google.com
Lines: 21
Message-ID: <10836292.2142.1329737047292.JavaMail.geo-discussion-forums@ynkz21>
References: <jhliut$3he$1@mx1.internetia.pl>
<pj0lc5k2ww4z$.j8cj3ca4fdmw$.dlg@40tude.net>
<jhodnv$9en$2@inews.gazeta.pl>
<1rvfbwvj4h0dr$.5mc1fgvvz1ws.dlg@40tude.net>
<jhoql7$kq0$1@inews.gazeta.pl> <jhr1lj$ub3$1@node2.news.atman.pl>
<jhrjml$rt1$1@inews.gazeta.pl> <jhrl22$ius$1@node2.news.atman.pl>
<jhror3$f7s$1@inews.gazeta.pl> <jhrpdi$h07$1@inews.gazeta.pl>
NNTP-Posting-Host: 188.47.194.164
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1329737476 26464 127.0.0.1 (20 Feb 2012 11:31:16 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Mon, 20 Feb 2012 11:31:16 +0000 (UTC)
In-Reply-To: <jhrpdi$h07$1@inews.gazeta.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=188.47.194.164;
posting-account=VFwkXwoAAADdT4-lLKRZrMYkTjizGoyn
User-Agent: G2/1.0
X-Google-Web-Client: true
Xref: news-archive.icm.edu.pl pl.comp.programming:195509
[ ukryj nagłówki ]
W dniu niedziela, 19 lutego 2012, 22:26:10 UTC+1 użytkownik M.M. napisał:
> Nigdy by mi do glowy nie przyszlo ze w kompilatorach moga byc bledy.

Równie dobrze można wierzyć w UFO lub Yeti - taki sam software jak inny.

Polecam http://blog.regehr.org/, ten naukowiec m.in. testuje kompilatory
programami losowymi (poprawnymi składniowo), w ciągu 2 lat jego zespół
wykrył kilkaset błędów w gcc i llvm. Chociaż taki gcc jest pewnie odpalany
miliony razy w ciągu miesiąca.

Istnieje taki projekt compcert - kompilator podzbioru C formalnie
weryfikujący przekład po optymalizacji, tzn. dowodzi, że optymalizacje,
które zastosował nie zmieniły semantyki. AFAIR znaleziono już w nim
kilkanaście błędów, ale to młody projekt.

w.