On Tue, 17 Mar 2009 14:48:48 +0100, "Grzegorz Niemirowski"
<g...@p...onet.pl> wrote:

>A.L. <a...@z...com> napisał(a):
>> Chodzilo mi o sugestie oryginalnego pytacza jakoby poprawnosc programu
>> mozna bylo sprawdzic na etapie kompilacji, otrzymujac gwarancje ze
>> program nie naruszy pewnych ograniczen (pamiec itede) ktorych potem w
>> trakcie wykonywania sprawdzac nie trzeba.
>> Moje "nie da sie" dotyczylo takiego sprawdzania i posiadania takiej
>> pewnosci
>> A.L.
>
>Pan z Microsoftu ma dosyć dużą pewność:
>Before the code is run, the IL is compiled into native executable code. And,
>since this compilation happens by the managed execution environment (or,
>more correctly, by a runtime-aware compiler that knows how to target the
>managed execution environment), the managed execution environment can make
>guarantees about what the code is going to do.

Lacznie z tym, na przyklad, ze program sie zatrzyma i nie bedzie sie
petlil po wieki?..

To mi wyglada na typowt Microsoftowy Biz Talk

A.L.