Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 4: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
(Brak różnic)
|
Wersja z 09:11, 30 paź 2006
Osobiscie unikam nazw "semantyka dynamiczna" na semantyke z wiazaniem dynamicznym i "semantyka statyczna" na semantyke ze statycznym wiazaniem zmiennych. Od dawna (np. Definicja SML) ludziom zdarza sie "semantyka dynamiczna" nazywac sie semantyke obliczajaca wartosci, a "semantyka statyczna" nazywac semantyke liczaca i sprawdzajaca typy. --MKonarski 10:09, 30 paź 2006 (CET)
