-
Data: 2010-08-18 07:30:11
Temat: Re: jedno proste pytanie
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 18 Sie, 08:36, shio <s...@b...eu.org> wrote:
> > Czesciowa poprawnosc oznacza, ze JESLI program w ogole da jakies
> > wyniki, to beda one poprawne. W szczegolnosci czesciowa poprawnosc nie
> > chroni przed zapetleniem sie.
>
> ale program zapetlony nigdy nie zwroci wyniku, z czego wynika ze nie moze
> byc poprawny
Skoro nigdy nie zwróci wyniku, to znaczy, że nigdy nie zwróci błędnego
wyniku. To bardzo dobry program. :-)
Właśnie dlatego mówimy o poprawności *częściowej*.
Chodzi tutaj też o ograniczenia narzędzi weryfikujących. Poprawność
częściową można udowadniać automatycznie metodami, które mają jeszcze
sensowną złożoność obliczeniową i dają się stosować (tzn. skalować) w
praktyce.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 18.08.10 08:03 shio
Najnowsze wątki z tej grupy
- 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.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-01 W-wa naklejki wjazd do centrum
- 2024-07-01 ładowarka zmarła
- 2024-07-01 Koder szuka pracy. Koduję w j.: Asembler, C, C++ (z Qt) i D.
- 2024-07-01 Kraków => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-07-01 Białystok => Full Stack Web Developer (.Net Core, Angular6+) <=
- 2024-07-01 Berlin => Technical Rollouter (Radio Systems Software Installation and
- 2024-07-01 Warszawa => Key Account Manager <=
- 2024-07-01 Gdańsk => Programista Full Stack .Net <=
- 2024-07-01 Zabrze => Junior HelpDesk <=
- 2024-07-01 Warszawa => Key Account Manager <=
- 2024-07-01 Bielsko-Biała => Expert Migration Architect (Azure) <=
- 2024-07-01 Mini Netykieta polskich grup dyskusyjnych
- 2024-07-01 Re: Jak wypełnić polecenie francuskiego sądu blokowania niektórych zapytań DNS? Blokując Francję
- 2024-07-01 Re: Powtórne wezwanie na PO-komisję uzdrowi Ziobrę już w 10 dni
- 2024-07-01 CA -- problem z logowaniem