Názor ke zprávičce Jak by vypadal svět bez Javy? od Radek Miček - Oproti C/C++ odstraňuje spousty konstrukcí náchylných na chyby,...
-
Radek Miček (neregistrovaný)
Oproti C/C++ odstraňuje spousty konstrukcí náchylných na chyby, a umožňuje model checking, tedy formální test bezchybnosti kódu
C++ neumožňuje model checking?
