Semantyka i weryfikacja programów WM-I-SWP
Laboratorium (LAB) Semestr zimowy 2022/23

1. J. Hopcroft, J. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, PWN, Warszawa 2003.

2. J. Hopcroft, R. Motwani, J. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, PWN, Warszawa 2005.

3. A. Kościelski, Teoria obliczeń, wyd. UWr, Wrocław 1997.

4. D. Schmidt, Denotational Semantics, 1997

5. H. R. Nielsen, F. Nielsen - Semantics with Applications. An Appetizer, 2007

1. Wprowadzenie do semantyki. Semantyka liczb binarnych.

2. Semantyka wyrażeń arytmetycznych i boolowskich. Pojęcie stanu pamięci i jego abstrakcja.

3. Naturalna semantyka języków programowania.

4. Strukturalna semantyka operacyjna języków programowania.

5. Rozszerzenia semantyki operacyjnej: niedeterminizm, paralelizm, przerywanie programu, bloki, deklaracje, procedury.

6. Implementacja abstrakcyjna. Maszyna abstrakcyjna.

7. Semantyka algebraiczna, specyfikacje algebraiczne, algebry heterogeniczne.

8. Aksjomatyczna semantyka języków programowania, system warunków wstępnych i końcowych.

9. Semantyka denotacyjna języków programowania.

10. Teoria punktów stałych i semantyka denotacyjna pętli while.

11. Rozszerzenia semantyki denotacyjnej: przerwanie programu, mechanizm wyjątków, skoki bezwarunkowe, bloki, deklaracje i procedury.

12. Kategoryczna semantyka denotacyjna.

13. Kategoryczna semantyka operacyjna.

14. Semantyka wybranych języków dziedzinowych.

15. Typowe zastosowania metod semantycznych w praktyce. Modele obliczeń.