SW wykład 4 - Slajd5: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 4}} | {{Semantyka i weryfikacja programów/Wykład 4}} | ||
[[Grafika:sw0404.png|center|frame]] | [[Grafika:sw0404.png|center|frame]] | ||
Jak poprzednio dla semantyki operacyjnej, tak i semantykę denotacyjną | |||
przedstawimy na przykładzie semantyki naszego prościutkiego języka | |||
TINY. | |||
Zaczynamy od definicji dziedzin syntaktycznych: jak zapowiadaliśmy, | |||
zadajemy je tu po prostu gramatyką bezkontekstową, tę samą, którą już | |||
podaliśmy przedstawiając semantykę operacyjną. | |||
Wersja z 10:28, 2 wrz 2006
Semantyka denotacyjna Dziedziny składniowe i semantyczne Funkcje semantyczne Kompozycjonalność Tiny. Semantyka denotacyjna Tiny. Semantyka denotacyjna, c.d. Pojęcia pomocnicze Pojęcia pomocnicze, c.d. |Tiny. Semantyka denotacyjna, c.d. Tiny. Semantyka denotacyjna, c.d. Problem z while Konstrukcje stałopunktowe Konstrukcje stałopunktowe, c.d. Konstrukcje stałopunktowe, c.d. Przykład Przykład, c.d. Dowód Dowód Zgodność semantyki denotacyjnej
Jak poprzednio dla semantyki operacyjnej, tak i semantykę denotacyjną przedstawimy na przykładzie semantyki naszego prościutkiego języka TINY.
Zaczynamy od definicji dziedzin syntaktycznych: jak zapowiadaliśmy, zadajemy je tu po prostu gramatyką bezkontekstową, tę samą, którą już podaliśmy przedstawiając semantykę operacyjną.
