Internet Info, s.r.o. Lupa Měšec Podnikatel Root Zdroják DigiZone Slunečnice Vitalia Tuesday TopDrive KupDnes Navrcholu Bomba NovýTarif Dobrý web Weblogy Woko Jagg Computer.cz SK: MojeLinky

Hlavní navigace

Názor ke zprávičce MS Windows Home Server poškozuje soubory

LO
LO (neregistrovaný)
31. 12. 2007 1:31

Re: A zaplata neni

celé vlákno
V grafu je severity.

Samozřejmě chyby lze dělat i v managed jazycích. Ale jednak se díky jim lze hromadě chyb vyhnout(jde nám o zlepšení současného stavu, který je katastrofický), a potom lze provádět design checking, který dovede formálně zaručit parametry kódu. Ukažte mi, jak dnes vezmete 100k řádek kódu v C/C++, a formálně prokážete, že v nich nemůže nikdy nastat deadlock, případně že tento kód zaručeně netrpí nějakou formou memory corruption.