Pytania i odpowiedzi dotyczące zadania domowego II (semantyka denotacyjna)
  1. Czy semantyka ma być w stylu bezpośrednim czy kontynuacyjnym?

    Treść zadania tego nie specyfikuje, więc można dowolnie. Jednak wydaje się, że wykorzystanie kontynuacji prowadzi tu do ładniejszego i łatwiejszego rozwiązania.

  2. Czy w zadaniu dopuszczalne jest wywołanie procedury podając jako argument niezadeklarowaną jeszcze zmienną?

    Patrz treść zadania: "Przyjmujemy statyczne wiązanie globalnych zmiennych..." Z tego wynika, ze wywołanie procedury z parametrem akturalnym x jest możliwe tylko w granicach statycznej widoczności x.
    UWAGA: nieco inaczej jest dla identyfikatorów procedur...

  3. Proszę o potwierdzenie lub zaprzeczenie, że procedura "nie widzi" zmiennych z otoczenia, tzn. użycie wewnątrz ciała procedury zmiennej nie będącej argumentem formalnym ani nie zadeklarowanej w bloku wewnątrz ciała procedury jest "nielegalne". Jeśli tak jest, czy można to potraktować tak jak exit(p) bez wykonywanej procedury p?

    Jak w odpowiedzi na poprzednie pytanie, rozstrzyga tu treść zadania: "Przyjmujemy statyczne wiązanie globalnych zmiennych..." Znaczenie i konsekwencje tego stwierdzenia dla semantyki powinny być uwzględnione w rozwiązaniu zadania zgodnie z omówieniem tego pojęcia (statycznego wiązania zmiennych) na wykładzie.