Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 4

Z Studia Informatyczne
Wersja z dnia 09:11, 30 paź 2006 autorstwa MKonarski (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

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)

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Dyskusja:Semantyka_i_weryfikacja_programów/Ćwiczenia_4&oldid=64815”