-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!news.bbs-scene.org!border4.nntp.dca.giganews.com!border2.nntp.dca.giganew
s.com!nntp.giganews.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!
not-for-mail
From: Wojciech Muła <w...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Date: Fri, 23 Mar 2012 03:50:40 -0700 (PDT)
Organization: http://groups.google.com
Lines: 18
Message-ID: <17439634.1055.1332499840627.JavaMail.geo-discussion-forums@vbhv6>
References: <f...@4...com>
<p...@n...chmurka.net> <jiq8a2$dvn$3@inews.gazeta.pl>
<p...@n...chmurka.net> <jiqdil$dvn$4@inews.gazeta.pl>
<jk1ocn$3oi$1@inews.gazeta.pl> <jk1rph$cn3$2@inews.gazeta.pl>
<jk29k9$ohi$1@inews.gazeta.pl> <jk589u$i72$1@inews.gazeta.pl>
<7...@4...com>
NNTP-Posting-Host: 188.47.196.122
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1332499958 769 127.0.0.1 (23 Mar 2012 10:52:38 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Fri, 23 Mar 2012 10:52:38 +0000 (UTC)
In-Reply-To: <7...@4...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=188.47.196.122;
posting-account=VFwkXwoAAADdT4-lLKRZrMYkTjizGoyn
User-Agent: G2/1.0
Xref: news-archive.icm.edu.pl pl.comp.programming:196288
[ ukryj nagłówki ]> Zwlaszcza pisanie programow ktorych poprawnosc jest niemozliwa do
> zwryfikowania. "Templates" to skomplikowana forma makrogeneratora
> ktora przeksztalca program w 'cos" co dopiero jest kompilowane. W co -
> pzreksztalca? Nie wiadomo, i trzeba meic 100 procentowe zaufanie do
> calej maszynerii ze a) przeksztalca zgodnie z intencja programisty, b)
> przksztalca bez bledow.
Ad b) I do tego się dąży. Powstaje kompilator compcert (co prawda tylko
do podzbioru C), który formalnie dowodzi, że semantyka programu została
zachowana po optymalizacji.
Co do C++, formalna weryfikacja nie jest możliwa, m.in. dlatego, że
w standardzie są błędy logiczne -
http://gallium.inria.fr/~xleroy/publi/cpp-constructi
on.pdf
w.
Następne wpisy z tego wątku
- 23.03.12 12:08 Paweł Kierski
- 23.03.12 12:28 zażółcony
- 23.03.12 12:35 zażółcony
- 23.03.12 12:42 zażółcony
- 23.03.12 12:56 zażółcony
- 23.03.12 13:21 Andrzej Jarzabek
- 23.03.12 13:23 Andrzej Jarzabek
- 23.03.12 13:43 Tomasz Kaczanowski
- 23.03.12 13:56 Wojciech Jaczewski
- 23.03.12 14:07 Andrzej Jarzabek
- 23.03.12 14:16 Wojciech Jaczewski
- 23.03.12 14:22 Paweł Kierski
- 23.03.12 14:26 Paweł Kierski
- 23.03.12 14:31 Andrzej Jarzabek
- 23.03.12 15:01 Tomasz Kaczanowski
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- 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
Najnowsze wątki
- 2024-10-07 Białystok => Full Stack .Net Engineer <=
- 2024-10-07 Sprzedawanie zaszyfrowanych filmów na płytach Blu-Ray bez kluczy deszyfrujących
- 2024-10-07 Sprzedawanie zaszyfrowanych filmów na płytach Blu-Ray bez kluczy deszyfrujących
- 2024-10-07 Kraków => Head of International Freight Forwarding Department <=
- 2024-10-07 Sprzedawanie zaszyfrowanych filmów na płytach Blu-Ray bez kluczy deszyfrujących
- 2024-10-07 Aparat, zewnętrzny mikrofon, brum
- 2024-10-07 MĂźnchen => Data Scientist <=
- 2024-10-07 Gdańsk => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-10-07 Kraków => Programista Full Stack .Net <=
- 2024-10-07 Re: Taniocha!!!
- 2024-10-07 Warszawa => Technical Leader (Java Background) <=
- 2024-10-07 Zielona Góra => Power Electronics R&D Engineer <=
- 2024-10-07 Warszawa => Junior New Business Development Manager <=
- 2024-10-07 Warszawa => Key Account Manager <=
- 2024-10-07 Wrocław => Konsultant wdrożeniowy ERP (Symfonia) <=