Java
Robustheit:
Objekte bekommen zur Laufzeit Typinformationen
Interpreter kann Gültigkeit von type-casts überprüfen
Statt Pointers Arrays mit überprüfbaren Grenzen
Speicherzugriffe auf Gültigkeit überprüfbar
Sicherheit
Previous slide
Next slide
Back to first slide
View graphic version