Największy praktyczny sukces informatyki teoretycznej
• Wyrafinowane typy danych
• Zasada deklarowania zmiennych
• Statyczne weryfikowanie typów
Eliminuje około 80% błędów semantycznych
Inżynieria Oprogramowania
wykład 7 - Faza implementacji
20 XI 2006