-
Data: 2009-03-17 14:34:54
Temat: Re: Singularity/Midori a jezyki jak C++, Java itp
Od: A.L. <a...@z...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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.
Następne wpisy z tego wątku
- 17.03.09 14:48 Grzegorz Niemirowski
- 17.03.09 15:09 Jędrzej Dudkiewicz
- 17.03.09 18:42 mgk
- 17.03.09 19:18 A.L.
- 17.03.09 21:27 mgk
- 17.03.09 22:21 A.L.
- 17.03.09 22:49 Grzegorz Niemirowski
- 17.03.09 22:51 Grzegorz Niemirowski
- 17.03.09 23:15 Wojciech Muła
- 18.03.09 07:57 Wiktor Zychla
- 18.03.09 08:36 Grzegorz Danowski
- 18.03.09 08:43 Jędrzej Dudkiewicz
- 18.03.09 09:01 gregorius
- 18.03.09 09:35 mgk
- 18.03.09 12:38 A.L.
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-05-24 Chiński bestseller w Europie. Ford "martwi się nową konkurencją"
- 2024-05-24 Wiewiórki, szczury i myszy...
- 2024-05-24 Warszawa => QA Manager <=
- 2024-05-24 Warszawa => AI Specialist <=
- 2024-05-24 Zabrze => Analityk biznesowo-systemowy <=
- 2024-05-24 Ulm => Technischer Rollouter (d/m/w) <=
- 2024-05-24 Warszawa => Senior Rust Software Engineer <=
- 2024-05-24 Warszawa => Spedytor międzynarodowy <=
- 2024-05-24 Kraków => Head of International Freight Forwarding Department <=
- 2024-05-24 Warszawa => Senior Software Engineer PHP (BillPro) Contractor <=
- 2024-05-24 Warszawa => Senior Software Engineer PHP (BillPro) Kontraktor <=
- 2024-05-24 Warszawa => Cybersecurity Consultant <=
- 2024-05-24 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-05-24 Warszawa => React Native Developer <=
- 2024-05-24 Re: Ambasador USA zdradza: TVN Style nie jest firmą Unii Europejskiej :-)