Article View: pl.comp.programming
Article #216148Re: POpularno?? j?zyk?w programowania ??
From: heby
Date: Sat, 28 Sep 2019 18:21
Date: Sat, 28 Sep 2019 18:21
13 lines
2369 bytes
2369 bytes
On 28/09/2019 20:10, AK wrote: >> Zwłaszcza że program w C można skompilować trzema lub więcej >> zupełnie różnymi kompilatorami - a w ten sposób sprawdzić, czy >> np. wyniki obliczeń nie zależą od kompilatora. > Hehe. To jest _kpina_ a nie weryfikacja poprawnosci. 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. Niestety ale nie ma chwilowo zewryfikowanego formalnie kompilatora użytecznego języka, więc jeśli chcesz podnoscić bezpieczeństwo czasem i takie metody mają sens.
Technical Details
Message-ID:
<qmo8bs$n6t$2@dont-email.me>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news-1.dfn.de!news.dfn.de!news.uni-stuttgart.de!news.unit0.net!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!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>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news-1.dfn.de!news.dfn.de!news.uni-stuttgart.de!news.unit0.net!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: heby <heby@poczta.onet.pl> Newsgroups: pl.comp.programming Subject: Re: POpularno?? j?zyk?w programowania ?? Date: Sat, 28 Sep 2019 20:21:48 +0200 Organization: A noiseless patient Spider Lines: 13 Message-ID: <qmo8bs$n6t$2@dont-email.me> 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> Mime-Version: 1.0 Injection-Date: Sat, 28 Sep 2019 18:21:48 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="b6e653a3674cdeacc6e5604dbed51f79"; logging-data="23773"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/MlowMjUP3dCbuaD4DqXAD" User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 Cancel-Lock: sha1:JdQ1jmOYRgv1ltys9xdMMGT6GXE= In-Reply-To: <qmo7ml$n2a$2@gioia.aioe.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit