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