-
Data: 2012-03-23 11:50:40
Temat: Re: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Od: Wojciech Muła <w...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
Najnowsze wątki
- 2025-05-02 Wrocław => Controlling systems Consultant <=
- 2025-05-02 Kraków => Programista MS Dynamics 365BC/NAV <=
- 2025-05-02 Kraków => Koordynator Produkcji / Przedstawiciel ds. rozwoju produktu
- 2025-05-02 Warszawa => Spedytor Międzynarodowy <=
- 2025-05-02 Białystok => NMS System Administrator <=
- 2025-05-02 Warszawa => Sales Director (Cloud solutions) <=
- 2025-05-02 Czy na URZĘDACH RP3 można bezkarnie LATAMI wywieszać flagę obcego państwa? [podstawa prawna]
- 2025-05-02 tona telefonów komórkowych kryje ok. 3,5 kilograma srebra, 360 gramów złota i 280 gramów palladu.
- 2025-05-01 Jak zbudować Perpetum Mobile
- 2025-05-01 Wybory ten wygra kto odzyska TEPS'ę od Kulczyka
- 2025-04-30 Czy wymieniacie fotel kierowcy, gdy kupujecie używanego gruchota po prostacie i nietrzymaniu moczu ?
- 2025-05-02 dewastują Tesle
- 2025-05-02 jadę do państwa polskiego
- 2025-05-01 zachowaj odstęp
- 2025-04-30 Czy wymieniacie fotel kierowcy, gdy kupujecie używanego gruchota po prostacie