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

Z Studia Informatyczne
Wersja z dnia 17:11, 13 lis 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. (Zwykle na nastepnych cwiczeniach studenci pisza u mnie semantyke duzych krokow reprezentujaca sytem typow prostych dla lambda-rachunku i na koniec pisze im ze dwa twierdzenia opisujace zwiazki miedzy semantyka dynamiczna (dajaca wartosci) i semantyka statyczna (dajaca typy) --- wtedy konflikt nazw ujawnia sie drastycznie.) --MKonarski 10:09, 30 paź 2006 (CET)

Takie nazwy wydaja mi sie za dlugie.

--SL

Troche sie pogubilem w 3 zadaniu domowym. Proponowalbym cos w rodzaju:

"Do rozważenia mamy nastepujace mechanizmy przekazywania parametrów: [...] Ten drugi mechanizm rozumiemy w przypadku semantyki dynamicznej następująco:"

--MKonarski 18:09, 13 lis 2006 (CET)

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