-
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.
Następne wpisy z tego wątku
- 20.02.12 13:28 Wojciech Jaczewski
- 20.02.12 13:30 Michoo
- 20.02.12 13:34 bartekltg
- 20.02.12 13:34 A.L.
- 20.02.12 13:51 Wojciech Jaczewski
- 20.02.12 14:06 Wojciech Jaczewski
- 20.02.12 14:49 Michoo
- 20.02.12 14:52 A.L.
- 20.02.12 15:04 Andrzej Jarzabek
- 20.02.12 15:07 A.L.
- 20.02.12 15:07 A.L.
- 20.02.12 15:27 bartekltg
- 20.02.12 15:41 Wojciech Jaczewski
- 20.02.12 16:09 Andrzej Jarzabek
- 20.02.12 16:32 bartekltg
Najnowsze wątki z tej grupy
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
Najnowsze wątki
- 2024-09-02 Wzór
- 2024-09-01 Polska-Chorwacja 650zł elektrykiem
- 2024-09-01 odrdzewiacz do amelinium
- 2024-09-01 Elektryczna łapka i szerszeń
- 2024-09-01 Jakie podatki za wynajem?
- 2024-09-02 Warszawa => Key Account Manager <=
- 2024-09-02 Warszawa => Projektant/Programista React Native <=
- 2024-09-02 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-09-02 Warszawa => Sales Development Representative (in German) <=
- 2024-09-01 1. wrzesnia po niemiecku
- 2024-09-01 Od setki do setki...
- 2024-08-31 wpadłem w siodło
- 2024-08-25 cenka opada
- 2024-08-30 Elektryki takie bezpieczne cd.
- 2024-08-31 Warszawa => International freight forwarder <=