Semantyka i weryfikacja programów: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
| Linia 19: | Linia 19: | ||
* Systematyczne konstruowanie poprawnych programów | * Systematyczne konstruowanie poprawnych programów | ||
=== | === Literatura === | ||
# P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981. | # P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981. | ||
# M. Gordon. Denotacyjny opis języków programowania. WNT, 1983. | # M. Gordon. Denotacyjny opis języków programowania. WNT, 1983. | ||
# D. Gries. The Science of Programming. Springer-Verlag, 1981. | # D. Gries. The Science of Programming. Springer-Verlag, 1981. | ||
# E. Dijkstra. Umiejętność programowania. WNT, 1978. | # E. Dijkstra. Umiejętność programowania. WNT, 1978. | ||
Wersja z 17:16, 8 cze 2006
Sylabus
Autor
Andrzej Tarlecki
Wymagania wstępne
- Wstęp do programowania
- Wstęp do teorii mnogości i logiki
Zawartość
- Formalny opis języków programowania
- Operacyjne i denotacyjne metody definiowania semantyki programów
- Semantyczne definicje podstawowych konstrukcji programistycznych
- Matematyczne podstawy semantyki denotacyjnej
- Pojęcia poprawności programów: poprawność częściowa i całkowita
- Metody dowodzenia poprawności programów
- Logika Hoare'a, jej wykorzystanie i własności formalne
- Systematyczne konstruowanie poprawnych programów
Literatura
- P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981.
- M. Gordon. Denotacyjny opis języków programowania. WNT, 1983.
- D. Gries. The Science of Programming. Springer-Verlag, 1981.
- E. Dijkstra. Umiejętność programowania. WNT, 1978.
