Article View: pl.comp.programming
Article #216149Re: POpularno?? j?zyk?w programowania ??
From: Maciej Sobczak
Date: Mon, 30 Sep 2019 07:34
Date: Mon, 30 Sep 2019 07:34
15 lines
2540 bytes
2540 bytes
> Mała uwaga: w dużych firmach w których małą błąd kosztuje życie tysięcy > ludzi (lotnictwo, energetyka itd itp) własnie taka kontrola ma miejsce. > Kila kompilatorów i kilka symulatorów (HDL) testujących ten sam kod. Statystycznie nie, z powodów, które odpisałem Sławkowi. > Niestety ale nie ma chwilowo zewryfikowanego formalnie kompilatora > użytecznego języka, http://compcert.inria.fr/doc/index.html Ale właściwie nikt tego nie używa. To jest bardzo ciekawe zjawisko, bo pokazuje, że jakości nie uzyskuje się kupując jakiś cudowny produkt. -- Maciej Sobczak * http://www.inspirel.com
Technical Details
Message-ID:
<204424dd-773f-4121-89fb-ccc78e0df699@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no2540576qtl.0!news-out.google.com!q23ni152qtl.1!nntp.google.com!o24no2540571qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<ZFueF.189972$Jh2.55867@fx39.am4> <b7cb88b6-e116-49ce-aa77-d9402b2bd021@googlegroups.com> <5d835054$0$525$65785112@news.neostrada.pl> <qm5o8c$6mr$1@news.icm.edu.pl> <5d867c27$0$17361$65785112@news.neostrada.pl> <qm5va9$c07$1@dont-email.me> <5d86b148$0$520$65785112@news.neostrada.pl> <qm7c3j$pl6$1@dont-email.me> <5d87968d$0$503$65785112@news.neostrada.pl> <qm875f$g8o$1@dont-email.me> <5d87b31a$0$522$65785112@news.neostrada.pl> <qm8e0j$s55$1@dont-email.me> <qmgven$som$1@z-news.wcss.wroc.pl> <f05b2868-1104-41ec-9932-5ab98957ebee@googlegroups.com> <qmnls7$tml$2@news.icm.edu.pl> <qmo7ml$n2a$2@gioia.aioe.org> <qmo8bs$n6t$2@dont-email.me>Show Full Headers
Complete Article Headers
X-Received: by 2002:a05:620a:7ca:: with SMTP id 10mr17964892qkb.410.1569828854414; Mon, 30 Sep 2019 00:34:14 -0700 (PDT) X-Received: by 2002:a37:dc04:: with SMTP id v4mr17736146qki.51.1569828854247; Mon, 30 Sep 2019 00:34:14 -0700 (PDT) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!o24no2540576qtl.0!news-out.google.com!q23ni152qtl.1!nntp.google.com!o24no2540571qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Mon, 30 Sep 2019 00:34:14 -0700 (PDT) In-Reply-To: <qmo8bs$n6t$2@dont-email.me> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.161; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 165.225.84.161 References: <ZFueF.189972$Jh2.55867@fx39.am4> <b7cb88b6-e116-49ce-aa77-d9402b2bd021@googlegroups.com> <5d835054$0$525$65785112@news.neostrada.pl> <qm5o8c$6mr$1@news.icm.edu.pl> <5d867c27$0$17361$65785112@news.neostrada.pl> <qm5va9$c07$1@dont-email.me> <5d86b148$0$520$65785112@news.neostrada.pl> <qm7c3j$pl6$1@dont-email.me> <5d87968d$0$503$65785112@news.neostrada.pl> <qm875f$g8o$1@dont-email.me> <5d87b31a$0$522$65785112@news.neostrada.pl> <qm8e0j$s55$1@dont-email.me> <qmgven$som$1@z-news.wcss.wroc.pl> <f05b2868-1104-41ec-9932-5ab98957ebee@googlegroups.com> <qmnls7$tml$2@news.icm.edu.pl> <qmo7ml$n2a$2@gioia.aioe.org> <qmo8bs$n6t$2@dont-email.me> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <204424dd-773f-4121-89fb-ccc78e0df699@googlegroups.com> Subject: Re: POpularno?? j?zyk?w programowania ?? From: Maciej Sobczak <see.my.homepage@gmail.com> Injection-Date: Mon, 30 Sep 2019 07:34:14 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit